18-23 Jul 2016
Bielefeld, Germany
*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:* Peter Aczel (University of Manchester, UK) Benedikt Ahrens (Institute for Advanced Study, Princeton, USA) 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) Mary Leng (University of York, 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 *Registration:* Deadline for registration: *30th of April* For information regarding registration see www.fomus.weebly.com/registration *Preliminary Programme:* A tentative schedule can be found here: www.fomus.weebly.com/programme <http://fomus.weebly.com/programme.html> *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 <http://fomus.weebly.com/> Mail: fomus2016@gmail.com Please do not hesitate to contact us for any further information. -- [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