The **second meeting of Working Group 6 of EuroProofNet** will take place
in Vienna, Austria, on 24-25 April 2023.
It is colocated with the Workshop on Homotopy Type Theory/Univalent
Foundations (HoTT/UF), which takes place on 22-23 April 2023.
The aim of this meeting series is to bring together researchers working on
the topics of WG6. The main focus is thus on the syntax and semantics of
type theory.
We invite submission of talk proposals (about 1 paragraph). The programme
will consists mainly of short talks, and plenty of time for discussion. The
meeting will be in person and is open to anyone interested in type theory.
Registration will be open soon. To register please follow the link on the
event's webpage. A limited amount of funding is available to reimburse
expenses. The application for funding will be open together with
registration.
**Invited speakers**
Daniel Gratzer
Ambroise Lafont
Anders Mörtberg
Loïc Pujet
**Deadlines** (AoE)
Submission of talk proposals: Monday 27 February
Author notification: Tuesday 7 March
Funding requests: Thursday 19 March
Registration: Friday 7 April
**Scientific Organisers**
Jacopo Emmenegger (University of Genoa)
Paige Randall North (Utrecht University)
**Local Organiser**
Anja Petković Komel (TU Wien)
--
Jacopo Emmenegger
Postdoctoral research fellow
Dipartimento di Matematica (DIMA)
Università degli Studi di Genova
Genova 16146, Italy
--
You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/d5c5864a-1248-48a5-9579-9f844853fac0n%40googlegroups.com.