BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Concurrent Software Composition
DTSTART:20110204T140000
DTSTAMP:20260411T033635Z
UID:298c6fadd331828fc75275f5fd5ac7bc958e8578b23bfe24a44d3505
CATEGORIES:Conferences - Seminars
DESCRIPTION:Mr Mihai Letia\nEDIC Candidacy Exam:Exam president: Prof. Will
 y ZwaenepoelThesis director: Rachid GuerraouiCo-examiner: Prof. Christoph 
 KochResearch Proposal Composable Memory Transactions. In PPoPP\, 2005 by T
 im Harris\, Simon Marlow\, Simon Peyton Jones\, Maurice Herlihy  A Correct
 ness Condition for Concurrent Object. In ACM Transactions on Programming L
 anguages and Systems\, 1990 by Maurice P. Herlihy and Jeannette M. Wing  L
 ocal Atomicity Properties: Modular Concurrency Control for Abstract Data T
 ypes. In ACM Transactions on Programming Languages and Systems\, 1989  by 
 William E. Weihl
LOCATION:BC 329 https://plan.epfl.ch/?room==BC%20329
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR