- SEG-staff - INF Mailman

by Timo Kehrer

Dear all, If you need a new table or chair (or anything else) for your office, please let me know. For those chairs and tables that are an absolute "no go", please send me a photo. The reason for this documentation is that we might be able to pay those from different funds, as our investment credit is in the minus. Best, Timo

9 hours, 38 minutes

1
0
0 0

Office this week

by Timo Kehrer

Dear all, This is just to let you know that I'll stay in Home Office this week. If you need me beyon the already scheduled meetings, please give me a ping. Best, Timo

9 hours, 42 minutes

1
0
0 0

Special Issue for Software @ ICST 2025

by Panichella, Sebastiano (INF)

JFYI... ---------- Forwarded message --------- From: Phil McMinn <p.mcminn(a)sheffield.ac.uk> Date: Tue, Jun 24, 2025 at 3:10 PM Subject: Special Issue for Software @ ICST 2025 To: Phil McMinn <p.mcminn(a)sheffield.ac.uk> Dear ICST attendee, I’m reaching out to invite you to submit software to a special issue of Science of Computer Programming, dedicated to tools featured at ICST 2025. If you presented a tool in the main research track, the Testing Tools Track, or the Testing Tool Competition, you are eligible to submit. This special issue is part of the Call for Software series and focuses on the software artifact itself. Submissions should include: * the software, * a short accompanying article (up to 6 pages) describing the tool, its purpose, design, usage, and relevance. The goal is to provide lasting visibility to well-engineered tools that contribute to research and practice in software testing, verification, and validation. Full submission details are available here: https://www.sciencedirect.com/journal/science-of-computer-programming/about… We’d be delighted to see a submission from you. Please feel free to get in touch if you have any questions about the process or the suitability of your tool. Best wishes, Phil McMinn, Domenico Bianculli, and Porfirio Tramontana (Guest Editors of the Special Issue)

6 days, 4 hours

1
0
0 0

Fw: Swissnex Launches New Robotics Program in Silicon Valley

by Panichella, Sebastiano (INF)

Dear all, I already mentioned this opportunity during lunchtime. Please let me know if the following opportunity is interesting for you. Cheers, Sebastiano ________________________________ From: Sarah Burckhardt <sarah.burckhardt(a)swissnex.org> Sent: Thursday, June 12, 2025 11:18 PM To: Panichella, Sebastiano (INF) <sebastiano.panichella(a)unibe.ch> Subject: Swissnex Launches New Robotics Program in Silicon Valley Dear Sebastiano, I hope you are doing well! I am reaching out to let you know about our new Robotics Program that will take place in San Francisco this fall. We are inviting researchers, startups, thinkers and tech artists working at the intersection of robotics, AI, and embodied systems to apply for a unique five-day program in San Francisco, October 27–31, 2025: <https://swissnex.org/sanfrancisco/news/open-call-explore-and-shape-the-futu…> EMBODIED INTELLIGENCE: Brains, Bots & Borderless Innovation Dates: October 27–31, 2025 Location: Swissnex in San Francisco Deadline to apply: July 31, 2025 Swissnex is launching Embodied Intelligence with two goals: * Give visibility to Switzerland’s talents in the AI and robotics field * Accelerate knowledge exchange with the AI and robotics ecosystem in the Bay Area Participants will explore Silicon Valley through curated visits, public engagement, and peer collaboration, actively shaping and reinforce the global dialogue on embodied intelligence. More information can be found on our website<https://swissnex.org/sanfrancisco/news/open-call-explore-and-shape-the-futu…>. Apply here: https://swissnex.org/sanfrancisco/robotics Take care, Sarah [https://lh5.googleusercontent.com/rpYkjoqcEZDbL4u7lPVtD7SXS0yFVJPxWnd2F3ZiG…] Sarah Burckhardt (she/her/hers) Academic Engagement Program Manager Address Swissnex in San Francisco, Pier 17, Suite 800 San Francisco CA 94111 LinkedIn<https://www.linkedin.com/company/swissnex-san-francisco/> | Twitter<https://twitter.com/swissnexSF> | Instagram<https://www.instagram.com/swissnexsf/> subscribe to our monthly newsletter<https://swissnex.org/sanfrancisco/newsletter/> book a meeting<https://calendar.app.google/HKQu7bj5mGcnYTT37> with me

1 week, 2 days

1
0
0 0

SEG & CGG Hiking Day: Info and Schedule

by van Dok, Yael Annika (INF)

Dear all, the weather forecast is looking good, so here is the detailed program for our hike on Tuesday, 17th June. As a recap, these are the three possible hiking routes that you can choose from: * (Long, 1423hm, 12.3km, 4-6h)(Route (click on flyover preview)<https://www.outdooractive.com/en/route/mountain-hike/gantrisch/gratwanderun…>): This route is quite demanding (many altitude meters!) and should only be chosen if you are regularly doing similar hikes or are actively doing another endurance sport. The route is classified as T3<https://www.sac-cas.ch/fileadmin/Ausbildung_und_Wissen/Sicher_unterwegs/Sic…>. * (Medium, 570hm, 3.5km, 1-2h) (Route Number 2&3 but reverse going uphill from Chrindi<https://stockhorn.ch/summer/hiking-and-walking/hiking-trails>): This route is family friendly and doable for anyone with reasonable footwear. The route is classified as T2<https://www.sac-cas.ch/fileadmin/Ausbildung_und_Wissen/Sicher_unterwegs/Sic…>. * (Short) taking cable car from Erlenbach, visiting the lake at Chrindi, taking cable car to top, walking to summit (Route Number 1<https://stockhorn.ch/summer/hiking-and-walking/hiking-trails>): This is for people who are not interested in hiking, but more so in strolling along the lakes on the Stockhorn. Schedule As already mentioned, the three groups all hike/travel on their own respective trail, and we all come together on the summit at the Panaramarestaurant Stockhorn<https://stockhorn.ch/gastronomy/restaurants/stockhorn-panorama-restaurant> in the afternoon for a late lunch. 1 Meeting point for the hike * (Long) : Bus stop "Gurnigel, Gantrischhütte"<https://maps.app.goo.gl/77K5YYZpNGguvUm47>, ca. 09:15 From Bern, this is a suitable connection: [cid:a03be578-ee1f-4961-aa82-d4d9ea36b94c] * (Medium): Train Station "Erlenbach im Simmental"<https://maps.app.goo.gl/D3S6WYTSFJXP5ScBA>, ca. 10:30 From Bern, this is a suitable connection: [cid:bffe6f4d-3e0a-45ef-8d43-f92be967c54d] * (Short): Since you won't be hiking, you can travel anytime you like to Cable Car Station "Erlenbach im Simmental"<https://maps.app.goo.gl/yeXPDBHWuxiUL67AA>, and take the cable car up the mountain from there. If you want to spend some time along the lake Hinderstockesee, adjust your travel time accordingly. Check the timetable of the cable car<https://stockhorn.ch/informieren/fahrplan-preise/fahrplan-sommer> <https://stockhorn.ch/informieren/fahrplan-preise/fahrplan-sommer> to plan your journey. If you are only interested in joining the others for lunch (no stop at the lake), this is a suitable connection from Bern: * [cid:a9fd6285-859d-4c61-a775-7af3b902f010] 2 Hike The hiking trails are detailed in the links above. Both the (long) and (medium) groups have a guide who is responsible for navigating the trail. The guide for the (long) route is David Bommes, the guide for the (medium) route is Roman Bögli. * (Long): You will start directly on the trail from the bus stop "Gurnigel, Gantrischhütte". * (Medium): You will first take the cable car from the cable car station "Erlenbach im Simmental"<https://maps.app.goo.gl/yeXPDBHWuxiUL67AA> to Chrindi. (To this end, you will buy a "Wander-Ticket" at the station, check further down for more info.) At Chrindi, you have time to explore along the lake Hinderstockesee and from there, you will start your route up to the summit. 3 Meeting point at the Restaurant at the summit All the groups will meet at the Panaramarestaurant Stockhorn<https://stockhorn.ch/gastronomy/restaurants/stockhorn-panorama-restaurant>. I have reserved tables for us at 14:30, under the name "Yael". * (Long): You will arrive between 14:00-15:00 at the Restaurant, depending on how fast the group progresses. * (Medium): Your arrival time depends on how much time you spend at the lake and exploring the surrounding area. If you start your hike from Chrindi at 12:30, you should have enough time to reach the Restaurant by 14:30. * (Short): You are flexible and can arrive whenever you take the cable car. If your group is on time, but another one is delayed, you can of course already have a seat and a drink 🙂 Just let the staff know that you belong to the group that reserved under my name. 4 Return home From the summit, we will all take the cable car down to Erlenbach. The last ride is at 17:35. Information about equipment For the hikes, please make sure to wear appropriate shoes (hiking boots or trail running shoes with a hiking-suitable non-slip profile). The uphill sections will be more pleasant if you prepare a light backpack, avoiding any unnecessary weight. Mandatory items for mountain hikes are: * rain/wind jacket * sun protection (sun glasses, cap or hat, sunscreen) * fully charged mobile phone, preferably with offline hiking maps * water (or other isotonic drinks), at least 1.5l for the long hike * food to keep you fuelled (e.g. bananas, cereal bars, bread&cheese, …) * (optional but highly recommended) an additional dry shirt, which at the summit replaces the sweat one Information about the cable car Using the cable car (both on the ascent and descent) needs a valid ticket. * (Long): You will buy a "Einzeltarif - Stockhorn - Einfach" at the summit for the descent. * (Medium): You will buy a "Wander-Ticket" at the beginning of the hike before taking the cable car up to Chrindi. This ticket covers both your ascent and descent. * (Short): You will buy a "Einzeltarif - Stockhorn - Retour" at the beginning for both ascent and descent. Check the prices for the cable car<https://stockhorn.ch/informieren/fahrplan-preise/fahrpreise> and make sure that you bring enough money with you in cash or card. Mind that you will get a discount with your SBB half-fare/GA cards and your students card. Further info If you have not yet done so, please confirm your participation including your chosen route to me until Monday, 16th June, 14:00. Lastly, Roman B. made some cool visualisations of the long and medium route<https://drive.proton.me/urls/H8T6DFEKHG#ER8Vp0niP1DQ>! Have a look! [https://drive.proton.me/assets/proton-og-image.png]<https://drive.proton.me/urls/H8T6DFEKHG#ER8Vp0niP1DQ> Proton Drive<https://drive.proton.me/urls/H8T6DFEKHG#ER8Vp0niP1DQ> Securely store, share, and access your important files and photos. Anytime, anywhere. drive.proton.me If there are questions, let me know. I'm excited to see you all very soon! All the best Yael

2 weeks, 3 days

1
1
0 0

Exam corrections next week

by Timo Kehrer

Dear all, Next week, we will have two exam corrections days: - Monday: Compiler Construction - Wednesday: Programming 2 ACTION ITEM: Everyone who is in the office is kindly asked to help. Please let me know who is available. Please note: - This explicitly includes everyone, not just those of you involved into regular teaching; only external PhDs are excluded. - Even if you can assist just a few hours, this helps to keep the exam corrections efficient for all of us. - No need to be familiar with the contents of the courses, you'll catch up quickly ;-) The pressure is higher on Compiler Construction on Monday, as we will have the help of TAs for P2 on Wednesday. Jan-Andrea and I will coordinate the Monday session, Roman (Bögli) takes the lead for the Wednesday session. Best, Timo

2 weeks, 3 days

3
2
0 0

Oral exam assistanca next Monday, 9:30 - 10:00

by Timo Kehrer

Dear all, And another call for action: Next Monday (June 16), I need someone from 9:30 - 10:00 to take care of writing the protocol in an oral exam (Compiler Construction). Again, this can be done by anyone, so please let me know who'd be available. Best, Timo

2 weeks, 4 days

1
0
0 0

Fwd: Slides Presentation

by Timo Kehrer

Dear all, Please find below the slides of Wesley's presentation last Friday. Best, Timo -------- Weitergeleitete Nachricht -------- Betreff: Slides Presentation Datum: Mon, 9 Jun 2025 11:39:47 +0200 Von: Wesley Klewerton Guez Assuncao <wguezas(a)ncsu.edu> An: timo kehrer <timo.kehrer(a)unibe.ch> Hi Timo, Thanks again for the invitation to be in person for the defense. Also, congratulations to you, too, for the great work done by Alexander. As promised, you can find the slides of my presentation in this link below: https://docs.google.com/presentation/d/1Dkd_7MIvOCICDA9dxu9LeAouWlzwHSKLBLv… <https://docs.google.com/presentation/d/1Dkd_7MIvOCICDA9dxu9LeAouWlzwHSKLBLv…> Feel free to share you the members of your group. Should anyone have any questions, please let me know. If we can find opportunities for collaboration, that would be great. Best regards, -- Wesley K. G. Assunção North Carolina State University https://wesleyklewerton.github.io/ <https://wesleyklewerton.github.io/>

2 weeks, 6 days

1
0
0 0

Fwd: RSE: First in Person Event - Save the Date

by Timo Kehrer

Dear all, Please find below an invitation to an event by the RSE (Research Software Engineering) division of our UniBE Data Science Lab. There are also activities on forming an RSE community across Switzerland, similar to the ones that have been already established in DE and UK. Unfortunately, I cannot join the event below, but I would like to see SEG somehow represented there ;-) Who has time and would be willing to go? (also fine to be there with 2 or 3 people) Best, Timo -------- Weitergeleitete Nachricht -------- Betreff: RSE: First in Person Event - Save the Date Datum: Wed, 28 May 2025 10:03:34 +0200 Von: Kovtun, Viktor (DSL) <viktor.kovtun(a)unibe.ch> An: Kehrer, Timo Benjamin (INF) <timo.kehrer(a)unibe.ch> Hi Timo So this is the invitation to the event I mentioned. There will be two talks and the apero afterwards. There is also a calendar file in the attachment. Regarding my availability of June, from what I can see, it's probably only on 30th. But my calendar is much more free from 7th July onward. 3rd July is also a possibility. Please tell me which day works for you, and I can just save the date. Thank you, Viktor ------------------------------------------------------------------------ We are happy to announce the first in person RSE meeting on *5 June 2025* at *15:30 - 17:00* at the University of Bern in *H4 115 *(main building at Hochschulstrasse 4). There will be two presentations: 1. *BORIS Portal - Present your Research* by /Sumanghalyah Suntharam/. BORIS Portal <https://boris-portal.unibe.ch/> links publications, research data, projects and researchers at the University of Bern together in an integrated system. As a research information system and institutional repository, it increases the visibility and transparency of scientific work. 2. *REDCap - Advantages and Limits* by /Muriel Helmers/ and /Flurina Jenal/. Are you planning to collect structured data at multiple locations? To conduct an online survey for your research project? Do you need a secure database or data entry in multiple languages? REDCap <https://project-redcap.org/> might be the right tool to check before writing your own programming code. We will give you an introduction and live session to REDCap, inform what services you can get for free at Uni Bern and what documentation is available to you. After the event, there will be an *apero*, where the participants can enjoy having a conversation in an informal atmosphere with a snack and a drink. Please register at the registration page <https://www.dsl.unibe.ch/lab/rse_community/first_in_person_meeting_registra…> and import the invitation (ICS file in the attachment) into your calendar. Looking forward to see you there. Regards, -- _____________________________ University of Bern Data Science Lab Interfaculty Core Facility Viktor Kovtun Scientific Employee (Research Software) Muesmattstrasse 27 3012 Bern Switzerland Telephone +41 31 684 58 27 viktor.kovtun(a)unibe.ch <mailto:viktor.kovtun@unibe.ch> http://www.dsl.unibe.ch/ <https://www.dsl.unibe.ch/>

3 weeks, 4 days

2
1
0 0

Fwd: New CUSO Activity: SympGraph

by Timo Kehrer

... not sure if I have forwarded this already, but I can highly recommend this. The event is free of charge, but registration would be required. Best, Timo -------- Weitergeleitete Nachricht -------- Betreff: New CUSO Activity: SympGraph Datum: Thu, 8 May 2025 09:36:32 +0200 Von: CUSO <informatique(a)cuso.ch> An: timo.kehrer(a)unibe.ch [Sie erhalten nicht häufig E-Mails von informatique(a)cuso.ch. Weitere Informationen, warum dies wichtig ist, finden Sie unter https://aka.ms/LearnAboutSenderIdentification ] Dear CUSO members, We are excited to invite you to SympGraph 2025 (https://sympgraph25.inf.unibe.ch/), a one-day symposium dedicated to graph-based representations in computer science, taking place on Thursday, August 21, 2025, at the University of Bern, Switzerland. SympGraph 2025 brings together young researchers working with graphs across diverse areas such as: - Machine learning and pattern recognition - Formal methods and verification - Programming languages and type systems - Knowledge representation and logic - Bioinformatics and chemoinformatics - and others The event is designed to foster collaboration, exchange ideas, and build connections across disciplines. We especially encourage participation from PhD students, postdocs, and early-career researchers who are excited to present ongoing work or fresh ideas in a friendly, informal setting. We’re also pleased to host two invited speakers: - Prof. Andreas Fischer (HES-SO, HEIA Fribourg), an expert in graph-based methods with extensive contributions to document analysis and handwriting recognition. - Prof. Benoit Gaüzère (INSA Rouen Normandie), whose research focuses on graph data representation learning, including advancements in Graph Neural Networks and applications in chemoinformatics. Registration until July 15 is free, but required for planning purposes. We look forward to seeing you in Bern! Best regards, The SympGraph 2025 Organizing Team https://sympgraph25.inf.unibe.ch/ P.S. We’re happy to reimburse 2nd-class train travel within Switzerland, and meals at the venue are free of charge, including coffee breaks, a sandwich lunch, drinks, and a small aperitif at the end of the symposium. -- Pr Valerio Schiavoni Institut d'informatique Université de Neiuchatel Coordination Program Doctoral Informatique CUSO

3 weeks, 5 days

1
0
0 0

2025

2024

2023

2022

SEG-staff