Informatik und Informationswissenschaft

Deductive verification of probabilistic programs via independence and conditioning

Wann
Mittwoch, 19. Juni 2024
13:30 bis 15 Uhr

Wo
R 611

Veranstaltet von
Tobias Sutter

Vortragende Person/Vortragende Personen:
Emanuele D'Osualdo

Diese Veranstaltung ist Teil der Veranstaltungsreihe „Fachbereichskolloquium“.

The goal of the Computer Science Colloquium is to connect students and faculty with the latest scientific developments in computer science. The program accommodates students and faculty with diverse interests, spanning from algorithms, machine learning, and data science to software development and computer vision. Leading experts address fundamental questions in their respective research areas.