BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Philosophy, Logic and Scientific Method - ECPv4.2.1.1//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Philosophy, Logic and Scientific Method
X-ORIGINAL-URL:http://www.lse.ac.uk/philosophy
X-WR-CALDESC:Events for Philosophy, Logic and Scientific Method
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20131125T171500
DTEND;TZID=Europe/London:20131125T171500
DTSTAMP:20161128T161211
CREATED:20140922T154508
LAST-MODIFIED:20140922T154508
UID:596-1385399700-1385399700@www.lse.ac.uk
SUMMARY:David Corfield (Kent): "Homotopy Type Theory; a revolutionary language for philosophy of logic; mathematics; and physics?"
DESCRIPTION:Monday 25th November; 17:15pm\nBSPS\n\nSpeaker: David Corfield (Kent)\n\nTitle: Homotopy Type Theory; a revolutionary language for philosophy of logic; mathematics; and physics?\n\n
URL:http://www.lse.ac.uk/philosophy/events/david-corfield-kent-homotopy-type-theory-a-revolutionary-language-for-philosophy-of-logic-mathematics-and-physics/
CATEGORIES:British Society for the Philosophy of Science Lecture
END:VEVENT
END:VCALENDAR