Save the date: HoTT 2023
51 views
Skip to first unread message
Steve Awodey
Dec 13, 2022, 7:01:08 AM12/13/22
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
Details to follow soon.
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
Details to follow soon.
Reply all
Reply to author
Forward
0 new messages