Dear all, We are pleased to announce a Workshop on Homotopy Type Theory and Univalent Foundations to be held at the Fields Institute in Toronto, May 16-20, 2016. Registration is available at: http://www.fields.utoronto.ca/programs/scientific/15-16/homotopy-type/ Limited financial support will be available to help cover participants' travel and local expenses. Priority will be given to students and postdocs who do not have access to other sources of funding. To be considered for funding, please fill out the Funding Application Form which is a part of the online registration. Deadline to apply for funding is *February 28, 2016*. Program: Mini-courses Robert Harper (Carnegie Mellon University): Computational interpretation of the Univalence Axiom Daniel R. Licata (Wesleyan University): Cubical Type Theory Peter LeFanu Lumsdaine (Stockholm University): Homotopy-theoretic models of type theory Michael Shulman (University of San Diego): Synthetic Homotopy Theory Invited speakers Benedikt Ahrens (IAS, Princeton) Thorsten Altenkirch (University of Nottingham) Jeremy Avigad (Carnegie Mellon University) Emily Riehl (Johns Hopkins University) Michael Warren (HRL Laboratories) There will also be contributed talks, selected by the Organizing Committee. We are looking forward to seeing you in Toronto! Organizers: Dan Christensen, Rick Jardine, Chris Kapulkin [For admin and other information see: http://www.mta.ca/~cat-dist/ ]