Alumni Day

On the occasion of Joost-Pieter Katoen’s 60th birthday in October 2024, there will be a special Colloquium on Principles of Verification to celebrate his achievements and personal engagement.

The associated Alumni Day will take place on Friday, 8 November 2024 in room 9222 (top floor) of the E3 building of the CS department, Aachen, Germany.

Programme

Time	Speaker
10:00 ‑ 10:45	1st session (chair: Matthias Volk)
	Birgit Willms: Joost-Pieter - Best Boss!
	Thomas Noll: 33 Years at i2 and Beyond
	Nils Jansen: Back to the MOVES: Model Checking meets Artificial Intelligence
10:45 ‑ 11:45	Coffee break
11:45 ‑ 12:30	2nd Session (chair: Sebastian Junges)
	Benjamin Kaminski: A Modal Logic for Iteration
	Christoph Matheja: What model checking with graph grammars can teach you about Rust verification
	Viet Yen Nguyen: Reading Newspapers: where LLM meets theorem proving
12:30 ‑ 14:00	Lunch break
14:00 ‑ 14:45	3rd Session (chair: Tim Quatmann)
	Sebastian Junges: Tom & Matthieu op Zondagmiddag: Mouwen opstropen en doorfietsen
	Benedikt Bollig: Automata Learning for Streaming Data
	David N. Jansen: A Scenario Approach for Parametric Markov Decision Processes
14:45 ‑ 15:45	Coffee break
15:45 ‑ 16:15	4th Session (chair: Kevin Batz)
	Tim Quatmann: Current MOVES in probabilistic model checking
	Matthias Volk: Zen and the Art of Bicycle Maintenance

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

Sponsors

We are generously supported by

Questions

If you have any questions, please write an e-mail to jpk60orga (at) i2 (dot) informatik (dot) rwth-aachen (dot) de.