BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Formalizing and Verifying Transactional Memories
DTSTART:20100407T160000
DTSTAMP:20260414T224433Z
UID:64e653be483c3d58667aae5878aecd67d6fd4f8c08ced72fea13471a
CATEGORIES:Thesis defenses
DESCRIPTION:Monsieur Vasu Singh\nDirecteur de thèse : Prof. T. Henzinger\
 nInformatique
LOCATION:BC 410 https://plan.epfl.ch/?room==BC%20410
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR