Distinguished Lecture Series 2026
The annual Distinguished Lecture Series 2026 took place on Tuesday 31st March with 3 talks –
Talk 1: When Programming Meets Probability Theory
Talk 2: Facing Uncertainty in AI: From Verification to Synthesis
Talk 3: Deductive Verification of Probabilistic Programs
by Prof. Dr. Joost-Pieter Katoen, distinguished Professor of Computer Science at RWTH Aachen University, Germany, where he leads the Software Modelling and Verification Group (MOVES). He has just been awarded the prestigious KHMW Langerhuizen Lifetime Achievement Award 2026 by the Royal Dutch Society of Sciences and Humanities.
The DLS in 2026 was a full day programme with three lectures, a full lecture theatre and plenty of questions and interactions.
