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

[Francesco Dagnino]

--------------------------------------------------------------------------------------------------
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://urldefense.com/v3/__https://urlsand.esvalabs.com/?u=https*3A*2F*2Feuroproofnet.github.io*2Fwg6-genoa*2F&e=ed7a584b&h=c81cdf46&f=y&p=y__;JSUlJSU!!IBzWLUs!Wv228ORPQCmSupXxxnrmsEl3yeo5-UHaBgC9IqThrGG-etGqtqD7TTVcy4dPnrV0Jk1ORDY1Bt6mxqWv27lCMKBd0QHagLhK31c7SX4gzS0$ 
 >

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://urlsand.esvalabs.com/?u=https*3A*2F*2Fhott-uf.github.io*2F2025*2F&e=ed7a584b&h=f07fd72f&f=y&p=y__;JSUlJSU!!IBzWLUs!Wv228ORPQCmSupXxxnrmsEl3yeo5-UHaBgC9IqThrGG-etGqtqD7TTVcy4dPnrV0Jk1ORDY1Bt6mxqWv27lCMKBd0QHagLhK31c79kyfSsA$ 
 >

The aim of this meeting series is to bring together researchers working
on the topics of WG6.
<
https://urldefense.com/v3/__https://urlsand.esvalabs.com/?u=https*3A*2F*2Feuroproofnet.github.io*2Fwg6*2F&e=ed7a584b&h=e4fa54c5&f=y&p=y__;JSUlJSU!!IBzWLUs!Wv228ORPQCmSupXxxnrmsEl3yeo5-UHaBgC9IqThrGG-etGqtqD7TTVcy4dPnrV0Jk1ORDY1Bt6mxqWv27lCMKBd0QHagLhK31c7_pICGjE$ 
 >

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

Registration is open until this Friday (March 28th AoE) . 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)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20250325/14b4cc9d/attachment-0001.htm>