18-20 Dec 2019
Herrsching, Germany
ANNOUNCEMENT AND CALL FOR PARTICIPATION Foundations and Applications of Univalent Mathematics 18-20 December 2019, Herrsching (near Munich), Germany http://cj-xu.github.io/faum/ <http://cj-xu.github.io/faum/> This workshop focuses on both the foundation of univalent mathematics and the applications of the univalent innovations. INVITED SPEAKERS ---------------- * Benedikt Ahrens (University of Birmingham) * Thorsten Altenkirch (University of Nottingham) * Andrej Bauer (University of Ljubljana) * Ulrik Buchholtz (Technischen Universität Darmstadt) * Thierry Coquand (University of Gothenburg) * Peter Dybjer (Chalmers University of Technology) * Martín Escardó (University of Birmingham) * Valery Isaev (JetBrains Research) * Nicolai Kraus (University of Birmingham) * Fredrik Nordvall Forsberg (University of Strathclyde) * Paige Randall North (Ohio State University) * Anders Mörtberg (Stockholm University) * Iosif Petrakis (Ludwig-Maximilians-Universität München) * Bas Spitters (Aarhus University) * Thomas Streicher (TU Darmstadt) * Benno van den Berg (Universiteit van Amsterdam) * Andrea Vezzosi (IT University of Copenhagen) The programme will be updated in the workshop's webpage later. REGISTRATION ------------ There is no registration fee. To aid planning, please contact Chuangjie Xu by writing to xu@math.lmu.de <mailto:xu@math.lmu.de> for registration. This workshop is supported by the LMUexcellent Junior Researcher Fund. Hope to see you in Herrsching in December! Best regards, Chuangjie Xu Mathematisches Institut Ludwig-Maximilians-Universität München Theresienstr. 39 D-80333 München -- [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