Details

19. Jun

Deductive verification of probabilistic programs via independence and conditioning

Speaker: Emanuele D'Osualdo

13:30 - 15:00
R 611

19. Jun

Two short presentations on (different types of) Capital

Speaker: Jón Gunnar Bernburg and Sigrún Ólafsdóttir (University of Iceland)

11:45 - 13:15
Y213 and online

19. Jun

kontaktpunkt - Karrieretag am See

Speaker: regionale und überregionale Arbeitgeber (D/A/CH)

10:00 - 16:00
Campus der Universität Konstanz

19. Jun – 21. Jun

MECORE Closing Workshop

Speaker:

18. Jun

Klimapsychologie - ClimateMind und ClimateMind Academy

Speaker: Psychologe Fabian Hirt

19:00 - 20:00
ZOOM

18. Jun

Bodensee Wirtschaftsforum: Künstliche Intelligenz – zwischen Begeisterung und Sorge

Speaker: Angela Müller, Algorithm Watch und Joachim Buhmann, ETH Zürich

17:00 - 19:30
Kult-X, Hafenstrasse 8, 8280 Kreuzlingen