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

Aktuelle Veranstaltungen

20.
Apr
2020
Abgesagt: Special Event: Treffen mit Austrian RTG VLCA (Vienna Center for Logic and Algorithms)
21.
Apr
2020
Special Event: Internal UnRAVeL-Workshop as zoom conference
07.
Jun
2020
Special Event: Vernetzungstreffen Dagstuhl 2020
Weitere Veranstaltungen

Meldungen

26.03.2020
Abgesagt: Girls Day 2020
12.03.2020
Akzeptiertes Paper von Martin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen and Peter Lindner
03.03.2020
Promotion mit Auszeichnung: Norman Weik
Weitere Meldungen

Stellenangebot

Offene Promotionstellen innerhalb von UnRAVeL!

Wir bieten eine in dem internationalen Forschungsbereich des Graduiertenkollegs hoch innovative und interdisziplinäre Promotionsumgebung.

mehr...zu: Stellenangebot

Kontakt

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

Ahornstr. 55 RWTH Navigator

52074 Aachen

WorkTelefon: +49 241 80 21004

FaxFax: +49 241 80 22217

E-Mail schreiben

h1

h2

h3

h4

h5

h6

UnRAVeL – UNcertainty and Randomness in Algorithms, VErification and Logic

Fakultäten und Einrichtungen

RWTH

Fakultäten und Institute

Institut suchen:

Einrichtungen

Navigation

UnRAVeL-Betreuergruppe mehrzu: UnRAVeL-Betreuergruppe

Promotion mit Auszeichnung: Norman Weik mehrzu: Promotion mit Auszeichnung: Norman Weik

Carologistics Team erneut Weltmeister in der Robocup Logistics League in Sydney mehrzu: Carologistics Team erneut Weltmeister in der Robocup Logistics League in Sydney

Erfolgreiche UnRAVeL-Zusammenarbeit mehrzu: Erfolgreiche UnRAVeL-Zusammenarbeit

Interview mit Professor Katoen mehrzu: Interview mit Professor Katoen

RWTH-Lehrpreis 2018 für Christina Büsing mehrzu: RWTH-Lehrpreis 2018 für Christina Büsing

Dissertationsprojekte mehrzu: Dissertationsprojekte

RWTH Preis für Familienfreundlichkeit geht an Christina Büsing mehrzu: RWTH Preis für Familienfreundlichkeit geht an Christina Büsing

Promotion mit Auszeichnung: Sebastian Junges mehrzu: Promotion mit Auszeichnung: Sebastian Junges

Schnellzugriff

Aktuelle Veranstaltungen

Abgesagt: Special Event: Treffen mit Austrian RTG VLCA (Vienna Center for Logic and Algorithms)

Special Event: Internal UnRAVeL-Workshop as zoom conference

Special Event: Vernetzungstreffen Dagstuhl 2020

Meldungen

Abgesagt: Girls Day 2020

Akzeptiertes Paper von Martin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen and Peter Lindner

Promotion mit Auszeichnung: Norman Weik

Stellenangebot

Kontakt

Footer

RWTH

Service

Soziale Medien

Einrichtungen