BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:[TMS Symposium] Semantics - Jean Pichon
DTSTART:20160221T124500Z
DTEND:20160221T131500Z
UID:TALK64757@talks.cam.ac.uk
CONTACT:Jason Kwong
DESCRIPTION:Programs never do what you want them to do. To figure out what
  a program means\, if you are lucky\, you just have to wade through long\,
  tedious\, imprecise\, and ambiguous prose documents. If you're\nunlucky\,
  the meaning is left as an exercise to the reader. In this talk\, I will d
 iscuss how to formally give meaning to programs using elementary mathemati
 cs: sets\, functions\, and inductive relations. I will show\nhow this make
 s it possible to actually make sure programs do what we want them to do."\
 n
LOCATION:Winstanley Lecture Theatre\, Trinity College
END:VEVENT
END:VCALENDAR