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