<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">* (others tbc)<div><br><span style="font-size:13px">================</span><br style="font-size:13px"><span style="font-size:13px"># Submissions</span><br style="font-size:13px"><br style="font-size:13px"><span style="font-size:13px">* Abstract submission deadline: Wed 20 April</span><br style="font-size:13px"><span style="font-size:13px">* Acceptance notification: Wed 11 May</span><br style="font-size:13px"><br style="font-size:13px"><span style="font-size:13px">Submissions should consist of a title and abstract, in pdf or text format, via </span><a href="https://easychair.org/conferences/?conf=hottuf16" target="_blank" style="font-size:13px">https://easychair.org/conferences/?conf=hottuf16</a><br style="font-size:13px"><br style="font-size:13px"><span style="font-size:13px">Talks on practical formalisation are particularly solicited, but submissions on all UF/HoTT topics are welcome.</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"># Program committee</span><br style="font-size:13px"><br style="font-size:13px"><span style="font-size:13px">* Benedikt Ahrens (Institute for Advanced Study, Princeton)</span><br style="font-size:13px"><span style="font-size:13px">* Steve Awodey (Carnegie Mellon University)</span><br style="font-size:13px"><span style="font-size:13px">* Thierry Coquand (University of Gothenburg)</span><br style="font-size:13px"><span style="font-size:13px">* Eric Finster (École Polytechnique)</span><br style="font-size:13px"><span style="font-size:13px">* Nicolai Kraus (University of Nottingham)</span><br style="font-size:13px"><span style="font-size:13px">* Peter LeFanu Lumsdaine (Stockholm University)</span><br style="font-size:13px"><span style="font-size:13px">* Nicolas </span><span class="" style="font-size:13px">Tabareau</span><span style="font-size:13px"> (Inria, Nantes)</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"># Organisers</span><br style="font-size:13px"><br style="font-size:13px"><span style="font-size:13px">* Nicolas </span><span class="" style="font-size:13px">Tabareau</span><span style="font-size:13px"> (Inria, Nantes)</span><br style="font-size:13px"><span style="font-size:13px">* Peter LeFanu Lumsdaine (Stockholm University)</span></div></div>