[TYPES/announce] Workshop on Foundations and Applications of Univalent Mathematics, 18-20 December 2019, Herrsching

[Chuangjie Xu]

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 at math.lmu.de <mailto:xu at 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20191023/cb292fa7/attachment.html>