The Second International Conference on Homotopy Type Theory (HoTT 2023) will take place

Monday 22nd May to Thursday 25th May

at Carnegie Mellon University in Pittsburgh, USA. (See here for the previous conference.)

Invited Speakers

• Julie Bergner (University of Virginia, USA)
• Thierry Coquand (Chalmers University, Sweden)
• András Kovács (Eötvös Loránd University, Hungary)
• Anders Mörtberg (Stockholm University, Sweden)

There will also be a special Vladimir Voevodsky Memorial Lecture given by

• Michael Shulman (University of San Diego, USA)

Scientific Committee

• Thorsten Altenkirch (University of Nottingham, UK)
• Steve Awodey (Carnegie Mellon University, USA)
• Benno van den Berg (University of Amsterdam, Netherlands)
• Dan Christensen (University of Western Ontario, Canada)
• Nicola Gambino (University of Manchester, UK), chair
• Hugo Herbelin (INRIA, France)
• Peter LeFanu Lumsdaine (Stockholm University, Sweden)
• Maria Emilia Maietti (University of Padova, Italy)
• Emily Riehl (Johns Hopkins University, USA)

Sponsorship

HoTT 2023 is an official ASL-sponsored meeting. The Association for Symbolic Logic offers modest student travel awards to attend ASL-Sponsored meetings. Women and members of minority groups are strongly encouraged to apply. For information on how to apply see the ASL page.

NEWS: We are happy to announce a grant from the National Science Foundation which will provide modest student travel awards to attend HoTT 2023. Women and members of minority groups are strongly encouraged to apply. Students and recently graduated postdocs can be supported, whether they submit a paper or not. More information on how to apply will be made available here soon.

       

Local Committee

• Mathieu Anel
• Carlo Angiuli
• Steve Awodey chair
• Jonas Frey
• Andrew Swan

Contact: hott2023conference@gmail.com.