Program SEN Symposium 2021

  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