BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
BEGIN:VEVENT
UID:/NewsandEvents/Events/Conferences/newsitem/975
5/3---9-May-2018-Summer-School-on-Types-Sets-Const
ructions-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 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.

\n
\n Speakers and topics:

\n Peter Aczel: Co
nstructive set theory

\n Robert Constable: Pro
of assistants and formalization

\n Thierry Coq
uand: Constructive algebra

\n Martín Escardó:
Univalent type theory

\n Matthew Hendtlass: Co
nstructive analysis

\n Simon Huber: Homotopy t
ype theory

\n Rosalie Iemhoff: Structural proo
f theory

\n Ulrich Kohlenbach: Extraction of i
nformation from proofs

\n Peter Dybjer: Intuit
ionistic type theory

\n Andreas Weiermann: Hig
her proof theory and combinatorics

\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