[TYPES/announce] Registration open - EuroProofNet Working Group 6 meeting in Vienna, 24-25 April 2023

[Jacopo Emmenegger]

The registration form, which includes the options to submit a talk 
proposal and to apply for funding, is now live on the website.

-------------------------------

The *second meeting of Working Group 6 of EuroProofNet* will take place 
in Vienna, Austria, on 24-25 April 2023.
<https://urldefense.com/v3/__https://europroofnet.github.io/wg6-vienna/__;!!IBzWLUs!XhSXjKUMwipEYjFKdiRoSvmvpLg9tVH1e97Hs0wSP5M11-C34SdCstRt4gtpxSwtRcaaSXesRaztIRQPlPSPedirYch-pnIp4IGvcPc$ >

It is colocated with the Workshop on Homotopy Type Theory/Univalent 
Foundations (HoTT/UF), which takes place on 22-23 April 2023.
<https://urldefense.com/v3/__https://hott-uf.github.io/2023/__;!!IBzWLUs!XhSXjKUMwipEYjFKdiRoSvmvpLg9tVH1e97Hs0wSP5M11-C34SdCstRt4gtpxSwtRcaaSXesRaztIRQPlPSPedirYch-pnIpQlJ2JyQ$ >

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.
<https://urldefense.com/v3/__https://europroofnet.github.io/wg6/__;!!IBzWLUs!XhSXjKUMwipEYjFKdiRoSvmvpLg9tVH1e97Hs0wSP5M11-C34SdCstRt4gtpxSwtRcaaSXesRaztIRQPlPSPedirYch-pnIpPPp27Bo$ >

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: 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