- SEG-staff - INF Mailman

ICSE 2026 Cycle 2

by Timo Kehrer

Dear all, Please find my review assignments for the 2nd submission cycle of ICSE 2026 below. If you are interested in reviewing one of the papers, please let me know. We will do the internal discussion in the week August 18-22. Best, Timo #901 LogSumm: Log Summarization Using Large Language Models #1356 Senate: Policy-Driven Change Management in Model Based Systems Engineering (MBSE) #1579 Integrated Structural and Behavioral Analysis of UML Class Diagrams with the Class Diagram Analyzer #1864 From Generation to Reasoning: Chain-of-Thought Guided Merge Conflict Resolution #2757 LLM-Based Automated Simulink Modeling: From Requirements to Model #3382 Historian: Leveraging Community Validated Patches to Determine Patch Correctness #3925 OntoMTL: Canonical Bidirectional Transformation between Metric Temporal Logic and the Web Ontology Language #5369 Fine-Grained Analyses for Evolution-Aware Runtime Verification

4 days, 5 hours

1
0
0 0

Action Required: Review of Older VMs on Calculon/Hydra by 11.07.2025

by Ohrndorf, Manuel (INF)

Dear all, Could everyone who has a VM for themselves or their students on our servers (Calculon or Hydra) please review and directly edit the following spreadsheet by 11.07.2025? The sheet lists older VMs that are currently unassigned in the SEGLab VM manager. old_unassigned_vms.xlsx<https://1drv.ms/x/c/f29fdeb58a11645a/EffGQ4AStM1EsMsznxug3OoB43tM5pbMLxWaYE…> For each VM, please indicate one of the following options: * A. Assign (and migrate): If the VM is still in use, enter "yes" and provide the email address of the current user(s) (supervisor and student(s)) of the VM. In general, you can also consider requesting a new VM using our Ubuntu Server and Desktop template<https://calculon.inf.unibe.ch:11000/en/virtual-machines>. * B. Archive (default 1.6.2026): The VM will be removed from the manager, but the disk image will be archived until the specified retention date and can then be deleted. Please provide: * Archive retention time (e.g., 1.6.2028) * Email of the responsible person (e.g., supervisor) * C. Delete: Enter "yes" if the VM can be deleted immediately. If no action is taken by 11.07.2025, I will proceed to archive the unassigned VMs by default (as in option B). Thank you for your support in keeping our infrastructure organized! Best, Manuel

1 week, 3 days

1
1
0 0

Office Furniture

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

2 weeks, 3 days

1
1
0 0

BORIS Publications

by van Dok, Yael Annika (INF)

Dear all We are obliged to put all our publications into the University of Bern's publication repository BORIS<https://boris-portal.unibe.ch/home>. I have entered most publications since the formation of the group in 2022, but it's possible that I missed some that I was not aware of. Please check whether all publications you issued during your time at SEG are included in BORIS<https://boris-portal.unibe.ch/home>. Please send the me DOI/link and name of any missing publications. Do NOT put them in yourself, just send me the info. Please thoroughy search for your publications on BORIS, the search spits different results sometimes (for some reason). If all your publications are included, please confirm to me that everything is in order. This is an urgent issue, so please reply to me ASAP. Best Yael

3 weeks, 2 days

1
0
0 0

Seminar-Presentations: Undervolting

by Bard, Jan-Andrea (INF)

The students explored energy consumption of various benchmarks under varying CPU frequency-voltage pairs. ________________________________________________________________________________ Microsoft Teams Benötigen Sie Hilfe?<https://aka.ms/JoinTeamsMeeting?omkt=de-DE> Jetzt an der Besprechung teilnehmen<https://teams.microsoft.com/l/meetup-join/19%3ameeting_YzA2NDQxMTItOWEzMy00…> Besprechungs-ID: 352 016 098 812 8 Kennung: XH37QS9c ________________________________ Für Organisatoren: Besprechungsoptionen<https://teams.microsoft.com/meetingOptions/?organizerId=bd5bd8fe-9a1f-45cb-…> [https://unibeidbistoragedeskmgmt.blob.core.windows.net/intune-blob-storage/…] https://serviceportal.unibe.ch/sp ________________________________________________________________________________

4 weeks, 1 day

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

1 month

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)

1 month, 1 week

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 month, 1 week

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

1 month, 2 weeks

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

1 month, 2 weeks

3
2
0 0

2025

2024

2023

2022

SEG-staff