Survey Lecture: Joost-Pieter Katoen: The Surprises of Probabilistic Termination

Thursday, July 01, 2021, 4:30pm

Speaker: Joost-Pieter Katoen

 

Abstract: TBA

 

The talks of the UnRAVeL survey lecture 2021 will be given via Zoom every Thursday from 16:30 to 18:00:

Zoommeeting

Meeting ID: 960 4371 5437

Passcode: 039217