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 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.

\n\n The talk will begin with
a slightly simplified overview of some of the

\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.

\n
URL:http://events.illc.uva.nl/coollogic/talks/108
CONTACT:Cool Logic at coollogic.uva at gmail.com
END:VEVENT
END:VCALENDAR