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

[HoTT] 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)

-- 
You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/HomotopyTypeTheory/ad8eb1a8-69c9-44aa-a08b-139ad05842ee%40gmail.com.