BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Algorithmic Verification of Component-based Systems
DTSTART:20170606T170000
DTSTAMP:20260407T042249Z
UID:de4f719f867497ecbb285f04e6f2f91fd7c546689599ae133334ee1e
CATEGORIES:Thesis defenses
DESCRIPTION:Qiang WANG\nThesis directors : Prof. V. Kuncak \, Dr S. Bliudz
 e\nComputer and Communication Sciences doctoral program.\nThesis 7753\n 
LOCATION:BC 04 https://plan.epfl.ch/?room==BC%2004
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR