BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Automation in software refinement
DTSTART:20140630T100000
DTSTAMP:20260407T002904Z
UID:56107ee50b4d9ed679fad7dd57e57bdbbf4d3addd5e4d26d723d31d7
CATEGORIES:Conferences - Seminars
DESCRIPTION:Emmanouil Koukoutos\nCandidacy exam\nExam president: Prof. Mar
 tin Odersky\nThesis director : Prof. Viktor Kuncak\nCo-examiner    : Pr
 of. Christoph KochResearch proposalProgram Extrapolation with Jennisys by 
 K. Rustan M. Leino and Aleksandar Milicevic.seL4: Formal Verification of a
 n Operating-System Kernel by Gerwin Klein\, et al.Abstract Refinement Type
 s by Niki Vazou\, et al.
LOCATION:BC 329 https://plan.epfl.ch/?room==BC%20329
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR