Time            Speaker      Title
10:00-11:00 Wolfram Burgard (Freiburg University, awardee of the prestigious Gottfried Wilhelm Leibniz Prize and an ERC Advanced Grant) Probabilistic Robotics and Beyond (Keynote Talk)
11:00-11:30 Marieke Huisman (University of Twente, awardee of a prestigious VICI grant in 2017) Verification of Concurrent Software with VerCors
11:30-12:00 Sung-Shik Jongmans (Open University, winner of the IPA dissertation prize 2016) Q: Should We Specify Interactions, Explicitly? A: Yes
12:00-12:30 Moritz Beller, ├ľnder Babur, Siamak Farshidi, Benjamin Lion, Carianne Pretorius, Maria Kechagia Short Pitches
12:30-13:45 Lunch
13:45-14:15 Arie van Deursen (Delft University of Technology) VERSEN Updates
14:15-14:45 Pierre America (Principal Architect, Philips Research) Software Engineering for Digital Pathology: People, Software, and Learning Algorithms
14:45-15:15 Anna-Lena Lamprecht (Utrecht University, Westerdijk Fellow) Automated composition of scientific workflows
15:15-15:45 Ankit Kumar Shukla, Kousar Aslam, Joseph Hejderup, Sohon Roy, Hans-Dieter Hiep, Brinda Hampiholi, Thomas Neele Short Pitches
15:45-16:15 Coffee
16:15-17:15 Bogdan Vasilescu (Carnegie Mellon University, winner of the IPA dissertation prize 2015) Signals in Social Coding Environments: What Do They Mean and How Much Can You Trust Them? (Keynote Talk)
17:15-18:00 Drinks

While you are here, do consider becoming a member of VERSEN.