================
# Submissions
* Abstract submission deadline: Wed 27 April
* Acceptance notification:
Wed 11 MaySubmissions should consist of a title and abstract, in pdf or text format, via
https://easychair.org/conferences/?conf=hottuf16Talks on practical formalisation are particularly solicited, but submissions on all
UF/
HoTT topics are welcome.
=================
# Program committee
* Benedikt Ahrens (Institute for Advanced Study, Princeton)
* Steve Awodey (Carnegie Mellon University)
* Thierry Coquand (University of Gothenburg)
* Eric Finster (École Polytechnique)
* Nicolai Kraus (University of Nottingham)
*
Peter LeFanu Lumsdaine (Stockholm University)
* Nicolas Tabareau (Inria, Nantes)
=================
# Organisers
* Nicolas Tabareau (Inria, Nantes)
*
Peter LeFanu Lumsdaine (Stockholm University)