RWTH AACHEN UNIVERSITY UnRAVeL – UNcertainty and Randomness in Algorithms, VErification and Logic

Upcoming Events

23.
May
2022
UnRAVeL Application Talk
24.
May
2022
Survey Lecture: Erika Ábrahám: The Challenge of Compositionality for Stochastic Hybrid Systems
25.
May
2022
Bi-Weekly Talk: Katharina Eickhoff
Further Events

UnRAVeL Survey Lecture

In the summer semester of 2022, the new UnRAVeL lecture series "What's New in UnRAVeL?" will take place.

All interested doctoral researchers and master students are invited to attend the UnRAVeL lecture series 2021 and engage in discussions with researchers and doctoral students.

more...zu: UnRAVeL Survey Lecture

Contact

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

Ahornstr. 55 RWTH Navigator

52074 Aachen

WorkPhone: +49 241 80 21004

FaxFax: +49 241 80 22217

Send Email

INOC open for all UnRAVeL members

The International Network Optimization Conference (INOC) takes place vorm 7. - 10. June in Aachen and provides a forum for researchers in the broad field of network optimization to present and publish their latest results and ongoing research.

All UnRAVeL memeber are cordianlly invited!

more...zu: INOC open for all UnRAVeL members

h1

h2

h3

h4

h5

h6

UnRAVeL – UNcertainty and Randomness in Algorithms, VErification and Logic

Faculties and Institutions

RWTH

Faculties and Institutes

Find Institute:

Institutions

Navigation

UnRAVeL Broschure Morezu: UnRAVeL Broschure

ERC Advanced Grants for Martin Grohe Morezu: ERC Advanced Grants for Martin Grohe

Gerhard Woeginger has passed away Morezu: Gerhard Woeginger has passed away

Completed doctorate: Matthias Volk Morezu: Completed doctorate: Matthias Volk

Team of Principal Investigators Morezu: Team of Principal Investigators

Interview with Professor Katoen Morezu: Interview with Professor Katoen

UnRAVel Alumnus Benjamin Kaminski now professor of theoretical computer Science at Saarland University Morezu: UnRAVel Alumnus Benjamin Kaminski now professor of theoretical computer Science at Saarland University

Quick Links

Upcoming Events

UnRAVeL Application Talk

Survey Lecture: Erika Ábrahám: The Challenge of Compositionality for Stochastic Hybrid Systems

Bi-Weekly Talk: Katharina Eickhoff

News

Congrats to Joost-Pieter Katoen as new member of the North Rhine-Westphalian Academy of Sciences, Humanities, and the Arts

Congratulation to UnRAVeL PI Martin Grohe for the ERC Advanced Grants

Completed doctorate: Matthias Volk

UnRAVeL Survey Lecture

Contact

INOC open for all UnRAVeL members

Footer

RWTH

Services

Social Media

Institutions