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