Colloquium Joost-Pieter Katoen
Joost-Pieter in Logic Lane, Oxford
Colloquium on Principles of Verification: Cycling the Probabilistic Landscape
On the occasion of Joost-Pieter Katoen’s 60th birthday in October 2024, there will be a special colloqium to celebrate his achievements and personal engagement.
The colloqium will take place on Thursday, 7 November 2024 at Forum M in Mayersche Buchhandlung, Aachen, Germany. The location is accessible via the elevator to the right of the bookstore’s main entrance. The event will be followed by a dinner at La Fabrik.
Programme
| Time | Speaker |
|---|---|
| 10:00 ‑ 11:00 | Opening (chair: Thomas Noll) |
| Prof. Marieke Huisman (Head of Formal Methods and Tools Group at the University of Twente, NL) | |
| Prof. Carsten Honerkamp (Dean of Faculty of Mathematics, Computer Science, and Natural Sciences, RWTH Aachen University) | |
| Prof. Bastian Leibe (Spokesperson of Computer Science Department, RWTH Aachen University) | |
| 11:00 ‑ 11:30 | Coffee break |
| 11:30 ‑ 12:30 | 1st Session (chair: Benjamin Kaminski) |
| Prof. Alessandro Abate (University of Oxford, UK): Model Checking Cyber-Physical Systems: From Code to Control | |
| Prof. Alexandra Silva (Cornell University, Ithaca, US): Probabilistic Outcome Logic | |
| Prof. Annabelle McIver (Macquarie University, Sydney, AU): Probabilistic Datatypes | |
| 12:30 ‑ 14:00 | Lunch break |
| 14:00 ‑ 15:00 | 2nd Session (chair: Marielle Stoelinga) |
| Prof. Christel Baier (Dresden University of Technology, DE): It All Started with Causality | |
| Prof. Dino Distefano (Meta & Queen Mary, University of London, UK): It’s Never Too Late | |
| Prof. Ed Brinksma (University of Twente, NL): In All Probability | |
| 15:00 ‑ 15:30 | Coffee break |
| 15:30 ‑ 16:30 | 3rd Session (chair: Nils Jansen) |
| Prof. Holger Hermanns (Saarland University, Saarbrücken, DE): Achter de Geraniums | |
| Prof. Joel Ouaknine (Max Planck Institute for Software Systems, Saarbrücken, DE): The Dynamical Hilbert Landscape | |
| Prof. Kim Guldstrand Larsen (Aalborg University, DK): Accelerating and Applying Statistical Model Checking – 10+ Years of SMC in UPPAAL | |
| 16:30 ‑ 17:00 | Coffee break |
| 17:00 ‑ 17:40 | 4th Session (chair: Christoph Matheja) |
| Prof. Laura Kovács (Vienna University of Technology, AT): Probably the Best Moment to Loop | |
| Prof. Pedro D’Argenio (National University of Cordoba, AR): Stochastic Event Structures + Timed Automata -> Modest | |
| from 19:30 | Dinner |
Dinner at La Fabrik
The restaurant is located at Bachstraße 20, 52066 Aachen. It is reachable by
- 20 min walk,
- Bus Elisenbrunnen -> Normaluhr, or
- by car using Parking Bachstraße.
Accommodation
We kindly ask all participants including invited speakers to make travel arrangements themselves (with our assistance, if needed). Hotel accommodation is available via Aachen Tourist Service, HRS.com, or Booking.com. A recommendation would be Motel One, as it is rather close to both the colloquium and the dinner place.
Registration
Registration is possible by personal invitation only.
Organisers
- Nils Jansen, Ruhr University Bochum, DE
- Sebastian Junges, Radboud University, Nijmegen, NL
- Benjamin Kaminski, Saarland University, Saarbrücken, DE & University College London, UK
- Christoph Matheja, Technical University of Denmark, Kopenhagen, DK
- Thomas Noll, RWTH Aachen University, DE
- Tim Quatmann, RWTH Aachen University, DE
- Marielle Stoelinga, University of Twente, NL
- Matthias Volk, Eindhoven University of Technology, NL
Questions
If you you need further assistance or have any questions, please write an e-mail to jpk60orga (at) i2 (dot) informatik (dot) rwth-aachen (dot) de.