<div dir="ltr"><span style="font-size:13px">==============================</span><span style="font-size:13px">===============</span><br><div><div dir="ltr"><div style="font-size:13px">CALL FOR PARTICIPATION<br>Workshop on Univalent Foundations and Homotopy Type Theory<br>(UF/HoTT, at TLCA 2015)<br>=============================================<br><br>-------------------------------------------------------------------------------<br><br>Workshop on Univalent Foundations and Homotopy Type Theory<br>29–30 June 2015, Warsaw, Poland<br><a href="http://rdp15.mimuw.edu.pl/index.php?site=uf" target="_blank">http://hott-uf.gforge.inria.fr</a><br>Co-located with RTA 2015 (RDP/TLCA)<br>Abstract submission deadline: 15 April<br><br>-------------------------------------------------------------------------------<br><br>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.<br><br>One practical goal of the programme is the computer formalisation of mathematics in such logical systems.  This workshop aims to focus on that aspect: bringing together researchers on formalisation in HoTT/UF to discuss the various established and experimental proof assistants for it, the different libraries available (HoTT Coq, UniMath, HoTT-Agda…), what logical features are convenient for the formalisation of “homotopical mathematics”, and how to make formalisation in HoTT/UF accessible and practical for mathematicians.<br> <br>================<br># Invited talks/tutorials:<br><br>* Benedikt Ahrens<br>* Thorsten Altenkirch</div><div style="font-size:13px">* Matthieu Sozeau<br>* Vladimir Voevodsky<br><br>================<br># Submissions<br><br>* Abstract submission deadline: 15 April, 2015<br><br>Submissions should consist of a title and abstract, in pdf or text format, via <a href="https://easychair.org/conferences/?conf=hottuf15" target="_blank">https://easychair.org/conferences/?conf=hottuf15</a><br><br>Talks on practical formalisation are particularly solicited, but submissions on all UF/HoTT topics are welcome.</div><div style="font-size:13px"><br></div><div style="font-size:13px">=================</div><div style="font-size:13px"># Program committee<br><div><br></div><div>* Benedikt Ahrens (Université Paul Sabatier, Toulouse)</div><div>* Steve Awodey (Carnegie Mellon University)</div><div>* Eric Finster (École Polytechnique)</div><div>* Dan Licata (Wesleyan University)</div><div>* Andrew Polonsky (VU University Amsterdam)</div><div>* Peter LeFanu Lumsdaine (Stockholm University)<br></div><div>* Nicolas Tabareau (Inria, Rennes)</div><div><br><div>=================</div># Organisers<br><br>* Nicolas Tabareau (Inria, Rennes)<br>* Peter LeFanu Lumsdaine (Stockholm University)</div><div><br></div></div></div></div></div>