Program SEN Symposium 2025
Below is the tentative program for SEN Symposium 2025.
| Friday May 23rd | |
| 09:00 - 09:20 | Walk-in |
| 09:20 - 09:30 | Welcome |
| Session chairs: Maliheh Izadi, Mairieli Wessel, Alfons Laarman | |
| 09:30 - 10:15 | Keynote: Anton Podkopaev - Generative AI and formal verification. Could they benefit each other? |
| 10:15 - 10:45 | Invited talk : Tobias Kappé - TBA |
| 10:45 - 11:15 | Coffee Break |
| Session chair: Maliheh Izadi, Mairieli Wessel, Alfons Laarman | |
| 11:15 - 11:45 | Invited talk: Burcu Kulahcioglu Ozkan - Model-guided Testing of Distributed Systems |
| 11:45 - 12:25 | Lightning talks (session 1):
|
| 12:25 - 13:30 | Lunch + Poster Session |
| Session chair: Maliheh Izadi, Mairieli Wessel, Alfons Laarman | |
| 13:30 - 14:15 | Keynote: Ana Sokolova - TBA |
| 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, Mairieli Wessel, Alfons Laarman | |
| 15:30 - 16:10 | Invited talk: Tim Coopmans - TBA |
| Session chair: Maliheh Izadi, Mairieli Wessel, Alfons Laarman | |
| 16:10 - 16:50 | Lightning talks (session 2)
|
| 16:50 - 17:15 | Awards + Closing |
| 17:15 - 18:30 | Drinks & Snacks |