BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Theoretically Sound Verification of Advanced Scala Features
DTSTART:20150825T090000
DTEND:20150825T110000
DTSTAMP:20260920T181838Z
UID:162c8e8c14304d661790868a84c47937c50a2e5ef7f92d74ecf8c91b
CATEGORIES:Conferences - Seminars
DESCRIPTION:Nicolas Voirol\nEDIC Candidacy Exam:\nExam president: Prof. Ra
 chid Guerraoui\nThesis director: Prof. Viktor Kuncak\nCo-examiner: Prof. M
 artin Odersky\nResearch ProposalReducing Higher-Order Theorem Proving to a
  Sequence of SAT Problems by Chad E. Brown.seL4: Formal Verification of an
  Operating-System Kernel by Gerwin Klein\, et al.Abstract Refinement Types
  by Niki Vazou\, Patrick M. Rondon\, and Ranjit Jhala.
LOCATION:BC 329 https://plan.epfl.ch/?room==BC%20329
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR