HoTT 2023 -- Programme and final call for registration
5 views
Skip to first unread message
Nicola Gambino
May 11, 2023, 4:57:16 AM5/11/23
to construc...@googlegroups.com
[Apologies for duplicate emails]
*** HoTT 2023
*** Second International Conference on Homotopy Type Theory
*** Carnegie Mellon University
*** 22nd-25th May 2023
The programme of the conference is now available at the website:
https://hott.github.io/HoTT-2023//programme/
Registration will close on 14 May. Until then you can still register via the website:
https://hott.github.io/HoTT-2023//registration/
With best regards,
Nicola (on behalf of the Scientific and Organising Committees)
==
Dr Nicola Gambino
Department of Mathematics, University of Manchester
Web: https://personalpages.manchester.ac.uk/staff/Nicola.Gambino/
*** HoTT 2023
*** Second International Conference on Homotopy Type Theory
*** Carnegie Mellon University
*** 22nd-25th May 2023
The programme of the conference is now available at the website:
https://hott.github.io/HoTT-2023//programme/
Registration will close on 14 May. Until then you can still register via the website:
https://hott.github.io/HoTT-2023//registration/
With best regards,
Nicola (on behalf of the Scientific and Organising Committees)
==
Dr Nicola Gambino
Department of Mathematics, University of Manchester
Web: https://personalpages.manchester.ac.uk/staff/Nicola.Gambino/
Reply all
Reply to author
Forward
0 new messages