BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Consistency of Quine's NF using nominal techniques - Jamie Gabbay\
 , Heriot-Watt 
DTSTART:20150529T130000Z
DTEND:20150529T140000Z
UID:TALK59531@talks.cam.ac.uk
CONTACT:Jonathan Hayman
DESCRIPTION:I will outline a proof of the consistency of Quine's New Found
 ations using nominal techniques.\n\nI will describe NF\, why its consisten
 cy matters\, why it is difficult to prove\, and outline how the "nominal" 
 proof works --- going into as much or as little technical detail as the au
 dience prefer.
LOCATION:Computer Laboratory\, William Gates Building\, Room FW11
END:VEVENT
END:VCALENDAR