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:…