2 May - 24 Aug 2018
Bonn, Germany
Types, Sets and Constructions
Hausdorff Trimester Program, Hausdorff Research Institute for Mathematics
(HIM), Universität Bonn, Germany
May 2 - August 24, 2018
Organizers: Douglas S. Bridges, Michael Rathjen, Peter Schuster, Helmut
Schwichtenberg
The deadline for applications is October 31, 2017.
http://www.him.uni-bonn.de/types-sets-constructions/
Organizers: Douglas S. Bridges, Michael Rathjen, Peter Schuster, Helmut
Schwichtenberg
Type theory, originally conceived as a bulwark against the paradoxes of naive
set theory, has languished for a long time in the shadow of axiomatic set
theory which became the mainstream foundation of mathematics. The first
renaissance of type theory occurred with the advent of computer science and
Bishop's development of a practice-oriented constructive mathematics. It was
followed by a second quite recent one that not only champions type theory as a
central framework for achieving the goal of fully formalized mathematics
amenable to verification by computer-based proof assistants, but also finds
deep and unexpected connections between type theory and homotopy theory.
Constructive set theory and mathematics distinguishes itself from its
traditional counterpart, classical set theory and mathematics based on it, by
insisting that proofs of existential theorems must afford means for
constructing an instance. Constructive reasoning emerges naturally in core
areas of mathematics and in the theory of computation. The aim of the Hausdorff
Trimester is to create a forum for research on and dissemination of exciting
recent developments, which are of central importance to modern foundations of
mathematics.
The program will include the following events:
Spring School, addressed to PhD students and postdocs (May 3-9, 2018, without
Sunday, 6^th )
<http://www.him.uni-bonn.de/programs/future-programs/future-trimester-programs/types-sets-constructions/summer-school/>
Three major workshops
* Types, Homotopy Type theory, and Verification (June 4 - June 8)
<http://www.him.uni-bonn.de/programs/future-programs/future-trimester-programs/types-sets-constructions/workshop-types-homotopy-type-theory-and-verification/>
* Proofs and Computation (July 2 - July 6)
<http://www.him.uni-bonn.de/programs/future-programs/future-trimester-programs/types-sets-constructions/workshop-proofs-and-computation/>
* Constructive Mathematics (August 6 - August 10)
<http://www.him.uni-bonn.de/programs/future-programs/future-trimester-programs/types-sets-constructions/workshop-constructive-mathematics/>
Those planning to participate include:
Peter Aczel, Toshiyasu Arai, Sergei Artemov, Steve Awodey, Andrej Bauer, Ulrich
Berger, Thierry Coquand, Martín Escardó, Sy Friedman, Rosalie Iemhoff, Hajime
Ishihara, Gerhard Jäger, Peter Koellner, Ulrich Kohlenbach, Robert Lubarsky,
Maria Emilia Maietti, Per Martin-Löf, Paul-André Mellies, Sara Negri, Paulo
Oliva, Erik Palmgren, Giuseppe Rosolini, Giovanni Sambin, Dana Scott, Monika
Seisenberger, Andreas Weiermann, Vladimir Voevodsky, Ihsen Yengui
Call for participation: The Hausdorff Research Institute offers visiting
positions for the whole period of the trimester program (for senior scientists,
postdocs and PhD students). In addition numerous fellowships for shorter
periods are available. Please send applications (including CV, a letter of
intent and, for postdocs and PhD students, a letter of recommendation) using
the online application form
<http://www.him.uni-bonn.de/programs/future-programs/future-trimester-programs/types-sets-constructions/online-application/>.
The deadline for applications is October 31, 2017.
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam