<div dir="ltr"><span style="font-size:13px">==============================</span><span style="font-size:13px">===============</span><br style="font-size:13px"><span style="font-size:13px">CALL FOR PARTICIPATION</span><br style="font-size:13px"><span style="font-size:13px">Workshop on Univalent Foundations and Homotopy Type Theory</span><br style="font-size:13px"><span style="font-size:13px">(UF/HoTT, at FSCD 2016)</span><br style="font-size:13px"><span style="font-size:13px">==============================</span><span style="font-size:13px">===============</span><br style="font-size:13px"><br style="font-size:13px"><span style="font-size:13px">------------------------------</span><span style="font-size:13px">------------------------------</span><span style="font-size:13px">-------------------</span><br style="font-size:13px"><br style="font-size:13px"><span style="font-size:13px">Workshop on Univalent Foundations and Homotopy Type Theory</span><br style="font-size:13px"><span style="font-size:13px">25–26 June 2016, Porto, Portugal</span><br style="font-size:13px"><a href="http://hott-uf.gforge.inria.fr/2016/" target="_blank" style="font-size:13px">http://hott-uf.gforge.inria.fr/2016/</a><br style="font-size:13px"><span style="font-size:13px">Co-located with FSCD 2016 (successor conference of RDP, RTA, TLCA)</span><br style="font-size:13px"><a href="http://fscd2016.dcc.fc.up.pt/" target="_blank" style="font-size:13px">http://fscd2016.dcc.fc.up.pt</a><br style="font-size:13px"><span style="font-size:13px">Abstract submission deadline: Wed 20 April</span><br style="font-size:13px"><br style="font-size:13px"><span style="font-size:13px">------------------------------</span><span style="font-size:13px">------------------------------</span><span style="font-size:13px">-------------------</span><br style="font-size:13px"><br style="font-size:13px"><span style="font-size:13px">Homotopy Type Theory/Univalent Foundations is a young area of logic, combining ideas from several established fields: the use of dependent type theory as a foundation for mathematics, informed by ideas and tools from abstract homotopy theory.</span><br style="font-size:13px"><br style="font-size:13px"><span style="font-size:13px">Following last year’s instalment in Warsaw, this workshop will focus again on the practical formalisation of mathematics in HoTT/UF-based style, in computer proof assistants (Coq, Agda, Lean, …).</span><br style="font-size:13px"><br style="font-size:13px"><span style="font-size:13px">================</span><br style="font-size:13px"><span style="font-size:13px"># Invited talks/tutorials</span><br style="font-size:13px"><br style="font-size:13px"><span style="font-size:13px">* Floris van Doorn</span><br style="font-size:13px"><span style="font-size:13px">* Martin Escardo</span><br style="font-size:13px"><span style="font-size:13px">* Anders Mörtberg</span><div style="font-size:13px"><br>================<br># Submissions<br><br>* Abstract submission deadline: Wed 20 April<br>* Acceptance notification: Wed 11 May<br><br>Submissions should consist of a title and abstract, in pdf or text format, via <a href="https://easychair.org/conferences/?conf=hottuf16" target="_blank">https://easychair.org/conferences/?conf=hottuf16</a><br><br>Talks on practical formalisation are particularly solicited, but submissions on all UF/HoTT topics are welcome.<br><br>=================<br># Program committee<br><br>* Benedikt Ahrens (Institute for Advanced Study, Princeton)<br>* Steve Awodey (Carnegie Mellon University)<br>* Thierry Coquand (University of Gothenburg)<br>* Eric Finster (École Polytechnique)<br>* Nicolai Kraus (University of Nottingham)<br>* Peter LeFanu Lumsdaine (Stockholm University)<br>* Nicolas Tabareau (Inria, Nantes)<br><br>=================<br># Organisers<br><br>* Nicolas Tabareau (Inria, Nantes)<br>* Peter LeFanu Lumsdaine (Stockholm University)</div></div>