BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Classical Realizability - Jaap van Oosten\, Utrecht
DTSTART:20120306T141500Z
DTEND:20120306T151500Z
UID:TALK34890@talks.cam.ac.uk
CONTACT:Julia Goedecke
DESCRIPTION:One of the more exciting developments in Realizability the las
 t two decades\, is J.-L. Krivine's set of realizability interpretations fo
 r classical theories (in particular\, set theory).\nIn the talk we shall t
 ry to understand these developments in terms more familiar from categorica
 l logic\; this\nis based on work by Alexandre Miquel\, Thomas Streicher an
 d my student Wouiter Stekelenburg.\n
LOCATION:MR5\, Centre for Mathematical Sciences
END:VEVENT
END:VCALENDAR