BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Scaling Language Features for Program Verification
DTSTART:20220722T160000
DTSTAMP:20260405T220856Z
UID:b52526eca7873acc6022cfab331948a8620d6970572ce77487ade764
CATEGORIES:Thesis defenses
DESCRIPTION:Georg Stefan SCHMID\nThesis Director: Prof. V. Kuncak\,\nCompu
 ter and Communication Sciences doctoral program\nThesis Nr. 8030\n\nTo ta
 ke part in the public defense\, please contact directly the speaker
LOCATION:BC 420 https://plan.epfl.ch/?room==BC%20420
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR