Workshop on Foundations of Mathematics: Univalent Foundations and Set Theory (FOMUS), 18-23 July, Bielefeld

Workshop on Foundations of Mathematics: Univalent Foundations and Set Theory (FOMUS), 18-23 July, Bielefeld

[Balthasar Grabmayr]

[-- Attachment #1.1: Type: text/plain, Size: 3389 bytes --]

====================  LAST CALL FOR REGISTRATION  ====================

* FOMUS - Foundations of Mathematics: Univalent Foundations and Set Theory 
- What are Criteria for Suitable Foundations of Mathematics*
Bielefeld, Germany | July 18-23, 2016

It is our pleasure to announce the forthcoming workshop titled "FOMUS - 
Foundations of Mathematics: Univalent Foundations and Set Theory", to be 
held at the Center for Interdisciplinary Research of Bielefeld University 
from the 18th to the 23rd of July. At this conference approximately 80 
graduate students, junior researchers and leading experts will gather in 
order to investigate and discuss suitable foundations for mathematics and 
their qualifying criteria, with an emphasis on Homotopy Type 
Theory/Univalent Foundations and Set Theory. This interdisciplinary 
workshop, designed as a hybrid between summer school and research 
conference, is aimed at students and researchers from the fields of 
mathematics, philosophy and computer science.

*Speakers:*
Benedikt Ahrens (INRIA Nantes, France)
Thorsten Altenkirch (University of Nottingham, UK)
Clemes Ballarin (aicas GmbH Karlsruhe, Germany)
Marc Bezem (Universitetet i Bergen, Norway)
Ulrik Buchholtz (Carnegie Mellon University, USA)
Ioanna Dimitriou (University of Bonn, Germany)
Regula Krapf (University of Bonn, Germany)
James Ladyman (University of Bristol, UK)
Benedikt Löwe (Universität Hamburg, Germany and Universiteit van Amsterdam, 
Netherlands)
Andrew Pitts (University of Cambridge, UK)
Andrei Rodin (Saint Petersburg State University, Russia)
Urs Schreiber (Czech Academy of Sciences, Czechia)
Bas Spitters (Aarhus University, Denmark)
Thomas Streicher (Technische Universität Darmstadt, Germany)
Claudio Ternullo (University of Vienna, Austria)
Vladimir Voevodsky (Institute for Advanced Study, Princeton, USA)
more tba

*Programme:*
A tentative schedule can be found here: 
<mailbox:///C:/Users/Balthasar/AppData/Roaming/Thunderbird/Profiles/vs4s0xux.default/Mail/pop.gmx.net/www.fomus.weebly.com/schedule>
www.fomus.weebly.com/schedule

*Registration:*
The number of participants for this workshop is limited. However, there are 
still some available places left. Registration works on a first-come, 
first-served basis.
For more information regarding registration see 
<mailbox:///C:/Users/Balthasar/AppData/Roaming/Thunderbird/Profiles/vs4s0xux.default/Mail/pop.gmx.net/www.fomus.weebly.com/registration>
www.fomus.weebly.com/registration

*Financially Supported by*: Association for Symbolic Logic (ASL), 
Association of German Mathematicians (DMV), Berlin Mathematical School 
(BMS), Center of Interdisciplinary Research (ZiF), Deutsche Vereinigung für 
Mathematische Logik und für Grundlagenforschung der Exakten 
Wissenschaften (DVMLG), German Academic Merit Foundation (Stipendiaten 
machen Programm), Fachbereich Grundlagen der Informatik of the German 
Informatics Society (GI), German Society for Analytic Philosophy (GAP).

*Organisers:* Balthasar Grabmayr, Deborah Kant, Lukas Kühne, Deniz 
Sarikaya, Mira Viehstädt

*Contact:*
Web: www.fomus.weebly.com 
<mailbox:///C:/Users/Balthasar/AppData/Roaming/Thunderbird/Profiles/vs4s0xux.default/Mail/pop.gmx.net/www.fomus.weebly.com>
Mail: fomu...@gmail.com 

Please do not hesitate to contact us for any further information.

[-- Attachment #1.2: Type: text/html, Size: 4810 bytes --]