BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Model Checking of Distributed Algorithm Implementations
DTSTART:20110318T160000
DTSTAMP:20260408T070922Z
UID:f4bda7f594ff548d38a6caf890dd080a298a319ce0c9b68665affb34
CATEGORIES:Thesis defenses
DESCRIPTION:Monsieur Maysam Yabandeh\nDirecteurs de thèse : Prof. D. Kost
 ic et Prof. R. Guerraoui\nInformatique
LOCATION:BC 02 https://plan.epfl.ch/?room==BC%2002
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR