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 2) - Pierre-Louis Curien\, pi.r2
  team\, PPS Laboratory\, CNRS\, Paris 7\, and INRIA
DTSTART:20100603T090000Z
DTEND:20100603T111500Z
UID:TALK25061@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! -- p
 ermitting)\n
LOCATION:Computer Laboratory\, Room FW11
END:VEVENT
END:VCALENDAR