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

[Justin Scarfy]

> On Oct 23, 2019, at 9:17 PM, Chuangjie Xu <xu at math.lmu.de> wrote:
> 
> 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/
> 
> 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 for registration.

I am writing to register,

Thanks in advanced :-),

- Justin 
> 
> 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
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> https://cs.nyu.edu/mailman/listinfo/fom
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20191029/d1a64bf4/attachment.html>