| |
Thursday, February 18th |
| 12:30 |
Admission and welcome |
| 12:50 |
Opening |
| 13:00 |
Keynote: Joost-Pieter Katoen (RWTH Aachen University, Germany): “Demystifying Probabilistic Programming” |
| 14:00 |
Break |
| 14:10 |
Invited talk: Burcu Kulahcioglu Ozkan (Delft University of Technology, the Netherlands): “Testing Consensus Implementations in Distributed Systems” |
| 14:50 |
Lightning Talks session 1: - Marielle Stoelinga: "What is predictive maintenance and why the hell is that interesting for software engineers?"
- Tanja Vos: "Quality-focused Programming Education - QPED project"
- Thom S. Badings: "Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids"
- Marnix Suilen: "Robust Finite-State Controllers for Uncertain POMDPs"
|
| 15:10 |
Break |
| 15:30 |
Keynote: Barbora Buhnova (Masaryk University Brno, Czech Republic): “Why the wrong people choose to study software architecture and the right people do not - lessons on the increasing importance of diversity within software architecture community” |
| 16:30 |
Break |
| 16:40 |
Invited talk: Dennis Komm (PH Graubünden, ETH Zürich, Switzerland): “A turtle, a snake, and a tiger walk into a classroom…” |
| 17:20 |
VERSEN Announcements |
| 17:35-18:05 |
VERSEN Open Board Meeting |
| |
|
| |
Friday, February 19th |
| 13:00 |
Keynote: Joost Visser (Leiden University, the Netherlands): “How to engineer machines that learn? Software engineering practices revisited in the age of ML” |
| 14:00 |
Break |
| 14:10 |
Invited talk: Yanja Dajsuren (Eindhoven University of Technology, the Netherlands): “Re-envisioning the automotive systems post-pandemic” |
| 14:50 |
Lightning Talks session 2: - Olivia Rodriguez: "What to do next? Action selection for intelligent scriptless testing"
- Tim Soethout: "Banking on Domain Knowledge for Faster Distributed Transactions"
- Kevin van der Vlist: "Synthesizing Middleware Components for Reusable Software"
- Zaharah A. Bukhsh: "Process Monitoring with Attention Network"
|
| 15:10 |
Break |
| 15:30 |
Invited talk: Emitza Guzman (Vrije Universiteit Amsterdam, the Netherlands): “User Feedback and Software Evolution” |
| 16:10 |
Lightning Talks session 3: - David van der Leij: "Machine learning for software refactoring"
- Christina Kolb: "Safety and Security Interactions with Attack-Defence-Fault Trees"
- Bas van den Heuvel: "A Decentralized Analysis of Multiparty Protocols"
- Benjamin Lion: "Coordination in system of cyber-physical components"
|
| 16:30 |
Break |
| 16:40 |
Invited talk: Christian Prehofer (DENSO Automotive, Germany): “Connected cars and the cloud: From Big Data to Big SW challenges” |
| 17:20 |
Awards ceremony |
| 17:35 |
Closing |
| 17:40-18:10 |
Informal discussion session |
