h1

h2

h3

h4

h5
h6

Zum Inhaltsbereich Zur Hauptnavigation Zur Suche Bühnenanimation stoppen

Logo des UnRAVeL
Suche

UnRAVeL – UNcertainty and Randomness in Algorithms, VErification and Logic

  • English

Fakultäten und Einrichtungen

Sie sind hier: UnRAVeL

RWTH

  • Hauptseite
  • Intranet

Fakultäten und Institute

  • Mathematik, Informatik, NaturwissenschaftenFakultät 1
  • ArchitekturFakultät 2
  • BauingenieurwesenFakultät 3
  • MaschinenwesenFakultät 4
  • Georessourcen und MaterialtechnikFakultät 5
  • Elektrotechnik und InformationstechnikFakultät 6
  • Philosophische FakultätFakultät 7
  • WirtschaftswissenschaftenFakultät 8
  • MedizinFakultät 10

Institut suchen:

Einrichtungen

  • Universitätsbibliothek
  • IT Center
  • Hochschulsport
  • Zentrale Hochschulverwaltung
  • Alle Einrichtungen

Navigation

  1. Studium
  2. Forschung
  3. Das Graduiertenkolleg
UnRAVeL Broschüre Urheberrecht: © UnRAVeL

UnRAVeL Broschüre mehrzu: UnRAVeL Broschüre

Marcel Hark Urheberrecht: © UnRAVeL

Promotion mit Auszeichnung: Marcel Hark mehrzu: Promotion mit Auszeichnung: Marcel Hark

Das Team Carologistics 2021 in einem zoom meeting

Carologistics gewinnt ersten hybriden RoboCup Logistics League World Cup 2021 mehrzu: Carologistics gewinnt ersten hybriden RoboCup Logistics League World Cup 2021

Martin Comis

Promotion mit Auszeichnung: Martin Comis mehrzu: Promotion mit Auszeichnung: Martin Comis

Anton Pirogov Urheberrecht: © Irina Pirogova

Abgeschlossene Promotion: Anton Pirogov mehrzu: Abgeschlossene Promotion: Anton Pirogov

Joost-Pieter Katoen as ACM Fellow Urheberrecht: © Uni Twente

Congrats to Joost-Pieter Katoen as ACM Fellow! mehrzu: Congrats to Joost-Pieter Katoen as ACM Fellow!

Foundations of Probabilistic Programming cover

Foundations of Probabilistic Programming, a collection of survey papers is now available mehrzu: Foundations of Probabilistic Programming, a collection of survey papers is now available

Gut betreut in UnRAVeL Urheberrecht: © Valentin Bister

Gut betreut in UnRAVeL mehrzu: Gut betreut in UnRAVeL

Benjamin Kaminski Urheberrecht: © Valentin Bister

UnRAVeL Alumnus Benjamin Kaminski erhält den Ackermann Award 2020 mehrzu: UnRAVeL Alumnus Benjamin Kaminski erhält den Ackermann Award 2020

Laura Vargas Koch bei ihrer Promotion Urheberrecht: © UnRAVeL

Promotion mit Auszeichnung für Laura Vargas Koch mehrzu: Promotion mit Auszeichnung für Laura Vargas Koch

Best Paper Urkunde Urheberrecht: © UnRAVeL

Erfolgreiche UnRAVeL-Zusammenarbeit mehrzu: Erfolgreiche UnRAVeL-Zusammenarbeit

Professor Katoen im Interview Urheberrecht: © RWTH Aachen

Interview mit Professor Katoen mehrzu: Interview mit Professor Katoen

Schnellzugriff

  • Team
  • Publikationen
  • Laufende Dissertationsprojekte
  • UnRAVeL Hall of Fame - Preise und Auszeichnungen
  • Gender & Diversity
  • Ringvorlesung
  • GastwissenschaftlerInnen
  • DFG – deutsche Forschungsgemeinschaft
 

Aktuelle Veranstaltungen

  • 28.
    Jul
    2021

    Für interessierte UnRAVel Mitglieder: Webinarreihe des GRKs 2193: Industrialisierung der Software-Generierung: Anwendungen von Software-Synthese in Fabrikplanung & Logistik

  • 29.
    Jul
    2021

    Ringvorlesung: canceled - Gerhard Woeginger: Bilevel optimization

  • 19.
    Aug
    2021

    Für interessierte UnRAVeL Mitglieder: Weekly Seminar by RTG Eddy: Regularity for optimal transportation and application to the matching problem

  • Weitere Veranstaltungen

Meldungen

  • 06.07.2021

    Promotion mit Auszeichnung: Marcel Hark

  • 29.06.2021

    Carologistics gewinnt ersten hybriden RoboCup Logistics League World Cup 2021

  • 07.05.2021

    Promotion mit Auszeichnung: Martin Comis

  • Weitere Meldungen
 

Foundations of Probabilistic Programming is now available

It is available under gold open access, so you can download a pdf for free. It contains contributions by e.g. Kozen, Panangaden, Plotkin, Dal Lago, Pierce, Chatterjee, Gordon, and Katoen

mehr...zu: Foundations of Probabilistic Programming is now available

Kontakt

Joost-Pieter Katoen © Urheberrecht: Tim Lange

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

UnRAVeL – UNcertainty and Randomness in Algorithms, VErification and Logic

Ahornstr. 55 RWTH Navigator

52074 Aachen

WorkTelefon: +49 241 80 21004

FaxFax: +49 241 80 22217

E-Mail schreiben

nach oben

Footer

RWTH

  • RWTH Startseite
  • Fakultät für Mathematik, Informatik, Naturwissenschaften
  • Fakultät für Wirtschaftswissenschaften
  • Fakultät für Bauingenieurwesen

Service

  • Kontakt und Lagepläne
  • Impressum
  • Sitemap
  • Datenschutzerklärung
  • Barrierefreiheitserklärung
  • Feedback

Soziale Medien

  • facebook
  • Xing

Einrichtungen

  • Fachgruppe Informatik
  • Universitätsbibliothek