[TYPES/announce] 1st Call for Contributions and Participation - 4th meeting of Working Group 6 of the EuroProofNet COST Action - Genoa, Italy, 17-18 April 2025

[Francesco Dagnino]

--------------------------------------------------------------------------------------------------
1st Call for Contributions and Participation
4th meeting of Working Group 6 of the EuroProofNet COST Action
Genoa, Italy, 17-18 April 2025
--------------------------------------------------------------------------------------------------

The fourth meeting of Working Group 6 of the EuroProofNet COST Action will
take place in Genoa, Italy, on 17-18 April 2025.
<https://urldefense.com/v3/__https://europroofnet.github.io/wg6-genoa/__;!!IBzWLUs!RyerFmljLOv354o04GrW8cTidtribu1_SVu6CmeJjzbl59YV7XsF0HKB_iqJNVbDhJbnAyBeS7JGQmgwKsTMMezw56KH73Q2WiCfAPeH_hs$ >

Co-located with the Workshop on Homotopy Type Theory and Univalent
Foundations (HoTT/UF), which takes place on 15-16 April 2025.
<https://urldefense.com/v3/__https://hott-uf.github.io/2025/__;!!IBzWLUs!RyerFmljLOv354o04GrW8cTidtribu1_SVu6CmeJjzbl59YV7XsF0HKB_iqJNVbDhJbnAyBeS7JGQmgwKsTMMezw56KH73Q2WiCfdFVR6co$ >

The aim of this meeting series is to bring together researchers working on
the topics of WG6.
<https://urldefense.com/v3/__https://europroofnet.github.io/wg6/__;!!IBzWLUs!RyerFmljLOv354o04GrW8cTidtribu1_SVu6CmeJjzbl59YV7XsF0HKB_iqJNVbDhJbnAyBeS7JGQmgwKsTMMezw56KH73Q2WiCfmcwKjaU$ >
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.

The meeting will be held in person with support for remote participation.

# Invited speakers
Francesco Gavazzo (Università di Padova)
Thomas Lamiaux (Nantes Université)
Paige Randall North (Universiteit Utrecht)
TBA

Registration is open. To register please follow the link on the event's
webpage.

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.

# Deadlines (AoE)
Submission of talk proposals: Friday 28 February
Author notification: Tuesday 4 March
Funding request: Friday 7 March
Registration: Friday 28 March

# Organisers
Francesco Dagnino (Università di Genova)
Jacopo Emmenegger (Università di Genova)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20250115/131830da/attachment-0001.htm>