UnRAVeL-Ringvorlesung: Joost-Pieter Katoen: Can we meet the deadline? Most probably: yes!

Donnerstag, 13. Juli 2023, 12:30 Uhr

Ort: Informatikzentrum, Geb. E2, Erdgeschoss, B-IT-Raum 5053.2.

Vortragende: Joost-Pieter Katoen

 

Abstract: TBA