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 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