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

Balthasar Grabmayr balthasar.grabmayr at gmx.net
Mon Feb 29 09:41:35 EST 2016

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

=== Please circulate. Apologies for any cross postings ===

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.

Peter Aczel (University of Manchester, UK)
Benedikt Ahrens (Institute for Advanced Study, Princeton, USA)
Thorsten Altenkirch (University of Nottingham, UK)
Steve Awodey (Carnegie Mellon University, USA)
Marc Bezem (Universitetet i Bergen, Norway)
Stefania Centrone (Carl von Ossietzky University Oldenburg and 
Universität Hamburg, Germany)
Joel D. Hamkins (City University of New York, USA)
James Ladyman (University of Bristol, UK)
Mary Leng (University of York, UK)
Benedikt Löwe (Universität Hamburg, Germany and Universiteit van 
Amsterdam, Netherlands) [TBC]
Andrew Pitts (University of Cambridge, UK)
Bas Spitters (Aarhus University, Denmark) [TBC]
Thomas Streicher (Technische Universität Darmstadt, Germany)
Claudio Ternullo (University of Vienna, Austria)
Vladimir Voevodsky (Institute for Advanced Study, Princeton, USA)
more TBA

Deadline for registration: 30th of April
For information regarding registration see 

*Preliminary Programme:*
Can be found here: www.fomus.weebly.com/programme 

*Financially Supported by*: Association for Symbolic Logic (ASL), 
Association of German Mathematicians (DMV), Berlin Mathematical School 
(BMS), Center of Interdisciplinary Research (ZiF), Fachbereich 
Grundlagen der Informatik of the German Informatics Society (GI), German 
Society for Analytic Philosophy (GAP), more TBA

*Organisers:* Balthasar Grabmayr, Deborah Kant, Lukas Kühne, Deniz Sarikaya

Web: www.fomus.weebly.com <http://fomus.weebly.com/>
Mail: fomus2016 at gmail.com

Please do not hesitate to contact us for any further information.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20160229/06bc2a3f/attachment.html>

More information about the FOM mailing list