BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Mini course on proof theory (Part 3) - Pierre-Louis Curien\, pi.r2
  team\, PPS Laboratory\, CNRS\, Paris 7\, and INRIA
DTSTART:20100604T090000Z
DTEND:20100604T111500Z
UID:TALK25062@talks.cam.ac.uk
CONTACT:Sam Staton
DESCRIPTION:Sequent calculus\, abstract machines\, focalised classical log
 ic\, CPS translations\, a bit of ludics\, and an even smaller bit of linea
 r logic (in this not quite historical order!). Syntax\, and just syntax! (
 categories could squeeze in\, but only time -- and preparation time! -- pe
 rmitting)
LOCATION:Computer Laboratory\, Room FW11
END:VEVENT
END:VCALENDAR