BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Verification of Liveness Properties in Transactional Memories
DTSTART:20110914T100000
DTSTAMP:20261004T183139Z
UID:eb6a5d43f04e360efdb938ddb0541e857339c5ec067a66e5e78ca57a
CATEGORIES:Conferences - Seminars
DESCRIPTION:Mr Victor Bushkov\nEDIC Candidacy Exam:Exam president: Prof. C
 hristoph KochThesis director: Prof. Rachid GuerraouiCo-examiner: Prof. Mar
 tin OderskyResearch Proposal Software transactional memory by Nir Shavit a
 nd Dan Touitou  Model Checking Transactional Memories  by Rachid Guerraoui
  et al. Liveness in Timed and Untimed Systems by Roberto Segala et al.
LOCATION:BC 329 https://plan.epfl.ch/?room==BC%20329
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR