BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2019/newsitem/11286/8-
 November-2019-Cool-Logic-Dominik-Wehr
DTSTAMP:20191104T002048
SUMMARY:Cool Logic, Dominik Wehr
ATTENDEE;ROLE=Speaker:Dominik Wehr
DTSTART;TZID=Europe/Amsterdam:20191108T183000
DTEND;TZID=Europe/Amsterdam:20191108T193000
LOCATION:ILLC Seminar Room F1.15, Science Park 107
 , Amsterdam
DESCRIPTION:With the Principia Mathematica, Whiteh
 ead and Russel famously put forward a type theory 
 as a foundation of mathematics. Since then, events
  such as the discovery of the Curry-Howard corresp
 ondence and the introduction of dependent types ha
 ve drastically changed the face of type theory. Mo
 dern type theories thus give rise to attractive fo
 undations of mathematics which are very different 
 from that of the Principia Mathematica.  The talk 
 will begin with a slightly simplified overview of 
 some of the  inner workings of dependent type theo
 ries and their intrinsic logic. This will be follo
 wed by a more general discussion of the foundation
 s obtained from such type theories.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>With the Princ
 ipia Mathematica, Whitehead and Russel famously pu
 t forward a type theory as a foundation of mathema
 tics. Since then, events such as the discovery of 
 the Curry-Howard correspondence and the introducti
 on of dependent types have drastically changed the
  face of type theory. Modern type theories thus gi
 ve rise to attractive foundations of mathematics w
 hich are very different from that of the Principia
  Mathematica.</p>\n\n  <p>The talk will begin with
  a slightly simplified overview of some of the<br>
 \n  inner workings of dependent type theories and 
 their intrinsic logic. This will be followed by a 
 more general discussion of the foundations obtaine
 d from such type theories.</p>\n
URL:http://events.illc.uva.nl/coollogic/talks/108
CONTACT:Cool Logic at coollogic.uva at gmail.com
END:VEVENT
END:VCALENDAR