<div dir="ltr"><div class="gmail-gs" style="margin:0px;min-width:0px;padding:0px 0px 20px;width:auto;font-family:"Google Sans",Roboto,RobotoDraft,Helvetica,Arial,sans-serif;font-size:medium"><div class="gmail-"><div id="gmail-:1ag" class="gmail-ii gmail-gt" style="direction:ltr;margin:8px 0px 0px;padding:0px;font-size:0.875rem;overflow-x:hidden"><div id="gmail-:1af" class="gmail-a3s gmail-aiL" style="direction:ltr;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;font-size-adjust:none;font-kerning:auto;font-feature-settings:normal;font-stretch:normal;font-size:small;line-height:1.5;font-family:Arial,Helvetica,sans-serif;overflow:auto hidden">--------------------------------------------------------------------------------------------------<br>Call for Participation<br>4th meeting of Working Group 6 of the EuroProofNet COST Action<br>Genoa, Italy, 17-18 April 2025<br>--------------------------------------------------------------------------------------------------<br><br>Updates:<br>- Abstracts of invited an contributed talks are online.<br>- Registration closes this Friday, March 28 (AoE).<br><br>The fourth meeting of Working Group 6 of the EuroProofNet COST Action<br>will take place in Genoa, Italy, on 17-18 April 2025.<br>< <a href="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$" rel="noreferrer" target="_blank">https://urlsand.esvalabs.com/?u=https%3A%2F%2Feuroproofnet.github.io%2Fwg6-genoa%2F&e=ed7a584b&h=c81cdf46&f=y&p=y</a> ><br><br>Co-located with the Workshop on Homotopy Type Theory and Univalent<br>Foundations (HoTT/UF), which takes place on 15-16 April 2025.<br>< <a href="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$" rel="noreferrer" target="_blank">https://urlsand.esvalabs.com/?u=https%3A%2F%2Fhott-uf.github.io%2F2025%2F&e=ed7a584b&h=f07fd72f&f=y&p=y</a> ><br><br>The aim of this meeting series is to bring together researchers working<br>on the topics of WG6.<br>< <a href="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$" rel="noreferrer" target="_blank">https://urlsand.esvalabs.com/?u=https%3A%2F%2Feuroproofnet.github.io%2Fwg6%2F&e=ed7a584b&h=e4fa54c5&f=y&p=y</a> ><br><br>The meeting will be held in person with support for remote participation.<br><br>Registration is open until this Friday (March 28th AoE) . To register please follow the<br>link on the event's webpage.<br><br>**Invited speakers**<br>Francesco Gavazzo (Università di Padova)<br>Thomas Lamiaux (Nantes Université)<br>András Kovács (Chalmers & Göteborgs universitet)<br>Paige Randall North (Universiteit Utrecht)<br><br>**Registration Deadline: Friday 28 March (AoE)**<br><br>**Organisers**<br>Francesco Dagnino (Università di Genova)<br>Jacopo Emmenegger (Università di Genova)<div class="gmail-yj6qo"></div><div class="gmail-adL"><br></div></div></div><div class="gmail-WhmR8e" style="clear:both"></div></div></div><br class="gmail-Apple-interchange-newline"></div>