BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Automated Verification of Programs with Complex Data Structures
DTSTART:20130529T093000
DTSTAMP:20260503T050345Z
UID:89956b4e848ff7003cf1a032d02ace0fb76f9778ccb5cc1070e43640
CATEGORIES:Conferences - Seminars
DESCRIPTION:Mr. Ravichandhran Kandhadai Madhavan\nEDIC Candidacy Exam:\nEx
 am president: Prof. Friedrich Eisenbrand\nThesis director: Prof. Viktor Ku
 ncak\nCo-examiner: Prof. Christoph KochResearch ProposalProving program in
 variance and termination by parametric abstraction\, lagrangian relaxation
  and semidefinite programming by P. Cousot.Abstract refinement types by Ni
 ki Vazou\, Patrick M. Rondon\, and Ranjit Jhala.Compositional and lightwei
 ght dependent type inference for ML by He Zhu\, Suresh Jagannathan.
LOCATION:BC 329 https://plan.epfl.ch/?room==BC%20329
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR