Distinguished Lecture Series 2026
The CS Annual DLS is coming up! details are:-
📅 Tuesday 31st March 2026
🕰️ 10:00-16:30
📍 School of Medicine: Booth Lecture Theatre
Speaker: Prof.Dr. Joost-Pieter Katoen, RWTH Aachen, Germany
10:00 – 11:30 Talk 1: When Programming Meets Probability Theory
Lunch
13:30 – 14:30 Talk 2: Facing Uncertainty in AI: From Verification to Synthesis
Coffee/tea Break
15:00 – 16:30 Talk 3: Deductive Verification of Probabilistic Programs