BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Towards verifiable network data structures
DTSTART:20150527T100000
DTSTAMP:20260408T212826Z
UID:f3fb8e20c664075bede8a657cdcd494b3f8a4028b1df76fa6bd38791
CATEGORIES:Conferences - Seminars
DESCRIPTION:Arseniy Zaostrovnykh\nEDIC Candidacy Exam:\nExam president: Pr
 of. Viktor Kuncak\nThesis director: Prof. Katerina Argyraki\nThesis co-dir
 ector: Prof. George Candea\nCo-examiner: Prof. Christoph KochResearch Prop
 osal\nCompositional May-Must Program Analysis: Unleashing the Power of Alt
 ernation by Patrice Godefroid\, Aditya V. Nori\, Sriram K. Rajamani\, Sai 
 Deep Tetali.Formal verification of an OS kernel."/Proceedings of the ACM S
 IGOPS 22nd symposium on Operating principles/. ACM\, 2009 by Klein\, Gerwi
 n\, et al.The Click Modular Router by Eddie Kohler \, Robert Morris\, Benj
 ie Chen et al.
LOCATION:BC 129 https://plan.epfl.ch/?room==BC%20129
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR