<div dir="ltr">--------------------------------------------------------------------------------------------------<br>1st Call for Contributions and Participation<br>4th meeting of Working Group 6 of the EuroProofNet COST Action<br>Genoa, Italy, 17-18 April 2025<br>--------------------------------------------------------------------------------------------------<br><br>The fourth meeting of Working Group 6 of the EuroProofNet COST Action will take place in Genoa, Italy, on 17-18 April 2025.<br><<a href="https://urldefense.com/v3/__https://europroofnet.github.io/wg6-genoa/__;!!IBzWLUs!RyerFmljLOv354o04GrW8cTidtribu1_SVu6CmeJjzbl59YV7XsF0HKB_iqJNVbDhJbnAyBeS7JGQmgwKsTMMezw56KH73Q2WiCfAPeH_hs$" target="_blank">https://europroofnet.github.io/wg6-genoa/</a>><br><br>Co-located with the Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF), which takes place on 15-16 April 2025.<br><<a href="https://urldefense.com/v3/__https://hott-uf.github.io/2025/__;!!IBzWLUs!RyerFmljLOv354o04GrW8cTidtribu1_SVu6CmeJjzbl59YV7XsF0HKB_iqJNVbDhJbnAyBeS7JGQmgwKsTMMezw56KH73Q2WiCfdFVR6co$" target="_blank">https://hott-uf.github.io/2025/</a>><br><br>The aim of this meeting series is to bring together researchers working on the topics of WG6.<br><<a href="https://urldefense.com/v3/__https://europroofnet.github.io/wg6/__;!!IBzWLUs!RyerFmljLOv354o04GrW8cTidtribu1_SVu6CmeJjzbl59YV7XsF0HKB_iqJNVbDhJbnAyBeS7JGQmgwKsTMMezw56KH73Q2WiCfmcwKjaU$" target="_blank">https://europroofnet.github.io/wg6/</a>><br>We invite submissions of talk proposals on the syntax and semantics of type theories. This includes, but is not limited, to the goal of WG6: to develop a comprehensive theory of type theories, which (i) accounts for its domain-specific variants and the type theories currently used in proof assistants, and (ii) allows for the modular reasoning about their syntax and semantics.<br><br>The meeting will be held in person with support for remote participation.<br><br># Invited speakers<br>Francesco Gavazzo (Università di Padova)<br>Thomas Lamiaux (Nantes Université)<br>Paige Randall North (Universiteit Utrecht)<br>TBA<br><br>Registration is open. To register please follow the link on the event's webpage.<br><br>A limited amount of funding is available to reimburse expenses. Funding requests can be submitted during registration. Selection will be based on EPN guidelines, please see the website for further information.<br><br># Deadlines (AoE)<br>Submission of talk proposals: Friday 28 February<br>Author notification: Tuesday 4 March<br>Funding request: Friday 7 March<br>Registration: Friday 28 March<br><br># Organisers<br>Francesco Dagnino (Università di Genova)<br>Jacopo Emmenegger (Università di Genova)<div class="gmail-yj6qo"></div><br class="gmail-Apple-interchange-newline"></div>