| 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.