Ringvorlesung

UnRAVeL (Unsicherheit und Wahrscheinlichkeit in Algorithmen, Verification und Logik) wird aus 10 verschiedenen Perspektiven präsentiert - ein echtes Highlight im Sommersemester!

Die Veranstaltungsreihe ist für alle Interessierte geöffnet und soll die Möglichkeit bieten mit Experten in Diskussion zu kommen.

mehr...zu: Ringvorlesung

Kontakt

Joost-Pieter Katoen

Prof. Dr. Ir. Dr. h. c. Joost-Pieter Katoen

Ahornstr. 55  

52074 Aachen

WorkTelefon: +49 241 80 21004

FaxFax: +49 241 80 22217