Program SEN Symposium 2025

Below is the tentative program for SEN Symposium 2025.

  Friday May 23rd
09:00 - 09:20 Walk-in
Session chairs: Mairieli Wessel
Host-assistant: Jonan Richards		  
09:20 - 09:30 Welcome
09:30 - 10:15 Keynote: Anton Podkopaev - Generative AI and Formal Verification. Could they benefit each other?
10:15 - 10:45 Invited talk: Burcu Kulahcioglu Ozkan - Model-guided Testing of Distributed Systems
10:45 - 11:15 Coffee Break
11:15 - 11:45 Invited talk : Tobias Kappé - On propositional program equivalence
11:45 - 12:10 Lightning talks (session 1):
  • A Qualitative Investigation into LLM-Generated Multilingual Code Comments and Automatic Evaluation Metrics by Yongcheng Huang, Gopal Panchu, Jonathan Katzy, Arie van Deursen and Maliheh Izadi
  • AI-Powered, But Power-Hungry? Energy Efficiency of LLM-Generated Code by Lola Solovyeva
12:10 - 12:20 VERSEN LLL
12:20 - 13:30 Lunch + Poster Session
Session chair: Alfons Laarman  
13:30 - 14:15 Keynote: Ana Sokolova - Semantics for Probabilistic Systems: From Bisimilarity to Epsilon-Bisimilarity, Coalgebraically
14:15 - 15:00 Invited talk: Lina Ochoa - Migration without Assimilation: A Software Evolution Perspective
15:00 - 15:30 Coffee Break
Session chair: Maliheh Izadi
Host-assistant: Roham Koohestani		  
15:30 - 16:10 Invited talk: Tim Coopmans - Computer science for Quantum Technology
16:10 - 17:00 Lightning talks (session 2)
  • Personalizing LLM-Based Conversational Programming Assistants by Jonan Richards
  • Evidence-Driven Black-Box Checking by Frits Vaandrager
  • AUTOLINKing the GUI to MBT: automated model generation with scriptless testing by Machiel Van der Bijl and Fernando Pastor Ricos
  • Language Models in Software Development Tasks: An Experimental Analysis of Energy and Accuracy by Negar Alizadeh, Boris Belchev, Nishant Saurabh, Patricia Kelbert and Fernando Castor
17:00 - 17:30 VERSEN Fellows Announcements, Msc thesis Awards, VERSEN Update, Closing
17:30 - 18:30 Drinks & Snacks

Copyright © , CWI