BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Compositional Verification of Component-based system
DTSTART:20140214T100000
DTSTAMP:20260410T034208Z
UID:b0d712d0f586ada5ba14e453e799e7d21e31ef6ca896c16e63ce8a2a
CATEGORIES:Conferences - Seminars
DESCRIPTION:Mr. Qiang Wang\nEDIC Candidacy Exam:\nExam president: Prof. Je
 an-Yves LeBoudec\nThesis director: Prof. Joseph Sifakis\nThesis co-directo
 r: Dr Simon Bliudze\nCo-examiner: Prof. Viktor KuncakResearch ProposalA Su
 rvey of Automated Techniques for Formal Software Verification by Vijay D'S
 ilva et al.Boolean and Cartesian Abstraction for Model Checking C Program 
 by Thomas Ball.Speculative Linearizability by Rachid Guerraoui et al.\nRes
 earch Proposal
LOCATION:BC 229. http://plan.epfl.ch/?lang=fr&room=bc229
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR