BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Program Analysis Systems Code
DTSTART:20110920T134500
DTSTAMP:20260407T163332Z
UID:776981b9519f04ca776d639a30a1243e07b3afb09909ce16413ac8f3
CATEGORIES:Conferences - Seminars
DESCRIPTION:Mr Volodymyr Kuznetsov\nEDIC Candidacy Exam:Exam president: Pr
 of. Christoph KochThesis director: Prof. George CandeaCo-examiner: Prof. B
 ernard MoretResearch ProposalKLEE: unassisted and automatic generation of 
 high-coverage tests for complex systems programs by Cristian Cadar et al.P
 ath Invariants by Thomas A. Henzinger et al.Compositional May-Must Program
  Analysis:Unleashing the Power of Alternation by Patrice Godefroid et al.
LOCATION:INN326
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR