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

[Jacopo Emmenegger]

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

Updates:
- Abstracts of invited an contributed talks are online.
- Registration closes this Friday, March 28 (AoE).

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

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

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

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

**Registration Deadline: Friday 28 March (AoE)**

**Organisers**
Francesco Dagnino (Università di Genova)
Jacopo Emmenegger (Università di Genova)