This is a reminder to register for the EuroProofNet WG6 meeting in Vienna on 24-25 April. The application for funding is closing on Sunday 19 March. ---------------------------------------------------------------------- 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. To register please follow the link on the event's webpage. A limited amount of funding is available to reimburse expenses. The registration form includes the options to submit a talk proposal and to apply for funding. *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: Sunday 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) -- 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/cb006cc7-e6c8-45f2-bce2-e2114d834783n%40googlegroups.com.