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/2018/newsitem/9755/3--
 -9-May-2018-Summer-School-on-Types-Sets-Constructi
 ons-Bonn-Germany-
DTSTAMP:20180306T140426
SUMMARY:Summer School on Types, Sets, & Constructi
 ons, Bonn (Germany)
DTSTART;VALUE=DATE:20180503
DTEND;VALUE=DATE:20180509
DESCRIPTION:This school provides an introduction t
 o some of the main topics of the trimester program
 ; the lectures are mainly directed at PhD students
  and young postdocs.  Speakers and topics:  Peter 
 Aczel: Constructive set theory  Robert Constable: 
 Proof assistants and formalization  Thierry Coquan
 d: Constructive algebra  Martín Escardó: Univalent
  type theory  Matthew Hendtlass: Constructive anal
 ysis  Simon Huber: Homotopy type theory  Rosalie I
 emhoff: Structural proof theory  Ulrich Kohlenbach
 : Extraction of information from proofs  Peter Dyb
 jer: Intuitionistic type theory  Andreas Weiermann
 : Higher proof theory and combinatorics
X-ALT-DESC;FMTTYPE=text/html:\n  <p>This school pr
 ovides an introduction to some of the main topics 
 of the trimester program; the lectures are mainly 
 directed at PhD students and young postdocs.</p>\n
 \n  <p>Speakers and topics:<br>\n  Peter Aczel: Co
 nstructive set theory<br>\n  Robert Constable: Pro
 of assistants and formalization<br>\n  Thierry Coq
 uand: Constructive algebra<br>\n  Martín Escardó: 
 Univalent type theory<br>\n  Matthew Hendtlass: Co
 nstructive analysis<br>\n  Simon Huber: Homotopy t
 ype theory<br>\n  Rosalie Iemhoff: Structural proo
 f theory<br>\n  Ulrich Kohlenbach: Extraction of i
 nformation from proofs<br>\n  Peter Dybjer: Intuit
 ionistic type theory<br>\n  Andreas Weiermann: Hig
 her proof theory and combinatorics</p>\n
URL:http://www.him.uni-bonn.de/programs/future-pro
 grams/future-trimester-programs/types-sets-constru
 ctions/summer-school/
END:VEVENT
END:VCALENDAR