You do not have permission to delete messages in this group
Copy link
Report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to Homotopy Type Theory
Dear Colleagues,
The following is in the works:
*************************************************************************
2nd International Conference on Homotopy Type Theory
HoTT 2023
22-25 May, CMU, Pittsburgh
*************************************************************************
Scientific committee:
Thorsten Altenkirch
Steve Awodey
Benno van den Berg
Dan Christensen
Nicola Gambino (Chair)
Hugo Herbelin
Peter LeFanu Lumsdaine
Maria Emilia Maietti
Emily Riehl
Organizing committee:
Mathieu Anel
Steve Awodey (Chair)
Jonas Frey
Andrew Swan