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

Aktuelle Veranstaltungen

09.
Dez
2020
Interner UnRAVeL workshop
17.
Dez
2020
Für interessierte UnRAVeL Mitglieder: Weekly Seminar by RTG Eddy: Coupled finite-volume/Monte-Carlo methods for plasma edge simulation in fusion reactors
06.
Jan
2021
Gastvortrag: Benny Kimelfeld
Weitere Veranstaltungen

Meldungen

25.11.2020
The book on Foundations of Probabilistic Programming, a collection of survey papers is now available
04.11.2020
Fruchtbarer Austausch mit GRK QuantLA
30.10.2020
Promotion mit Auszeichnung: Laura Vargas Koch
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

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 Broschüre mehrzu: UnRAVeL Broschüre

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 mehrzu: Gut betreut in UnRAVeL

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

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

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

Schnellzugriff

Aktuelle Veranstaltungen

Interner UnRAVeL workshop

Für interessierte UnRAVeL Mitglieder: Weekly Seminar by RTG Eddy: Coupled finite-volume/Monte-Carlo methods for plasma edge simulation in fusion reactors

Gastvortrag: Benny Kimelfeld

Meldungen

The book on Foundations of Probabilistic Programming, a collection of survey papers is now available

Fruchtbarer Austausch mit GRK QuantLA

Promotion mit Auszeichnung: Laura Vargas Koch

Foundations of Probabilistic Programming is now available

Kontakt

Footer

RWTH

Service

Soziale Medien

Einrichtungen