BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Interactive and Automated Reasoning with Orthologic
DTSTART:20260422T180000
DTSTAMP:20260530T095432Z
UID:23f689eb6f66fc4fdde8331d203605d72fc4b834d0172732a4438cdb
CATEGORIES:Thesis defenses
DESCRIPTION:Simon GUILLOUD\nDirecteur de thèse : Prof. V. Kuncak\,\nProg
 ramme doctoral en Informatique et communications\nThèse n° 11148\n\nPou
 r participer à la soutenance publique\, merci de contacter directement l
 ’intervenant
LOCATION:BC 420 https://plan.epfl.ch/?room==BC%20420 https://epfl.zoom.us/
 j/65669205064
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR