[TYPES/announce] Hausdorff Trimester "Types, Sets and Constructions" (Call for participation)
Helmut Schwichtenberg
schwicht at mathematik.uni-muenchen.de
Mon Oct 23 09:08:59 EDT 2017
Call for participation
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, 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.
More information about the Types-announce
mailing list