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

[Jacopo Emmenegger]

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

Updates:
- The deadline for submission of talk proposals is this Friday, February
28 (AoE).
- The deadline for funding requests is next Friday, March 7 (AoE).
- We have a new invited speaker: András Kovács.
- A list of hotels with reduced fares is available on the webpage (see
local info).
- People are receiving scam emails regarding accommodation in Genoa:
please ignore them, we are not doing any bookings.


The fourth meeting of Working Group 6 of the EuroProofNet COST Action
will take place in Genoa, Italy, on 17-18 April 2025.
<https://europroofnet.github.io/wg6-genoa/>

Co-located with the Workshop on Homotopy Type Theory and Univalent
Foundations (HoTT/UF), which takes place on 15-16 April 2025.
<https://hott-uf.github.io/2025/>

The aim of this meeting series is to bring together researchers working
on the topics of WG6.
<https://europroofnet.github.io/wg6/>

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.

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.

**Invited speakers**
Francesco Gavazzo (Università di Padova)
Thomas Lamiaux (Nantes Université)
András Kovács (Chalmers & Göteborgs universitet)
Paige Randall North (Universiteit Utrecht)

**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)