<html><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /></head><body style='font-size: 10pt; font-family: Verdana,Geneva,sans-serif'>
<p><br /></p>
<p><span>------------------------------------------------------------------------------------------</span><br /> EPIT 2025</p>
<p> French Spring School on Theoretical Computer Science<br /><span> 19-23 may 2025 in Aussois (French Alps)</span></p>
<p><span style="color: #000000;"><strong><em> (Co)inductive & circular reasoning applied to </em></strong></span></p>
<p><span style="color: #000000;"><strong><em> programming, formal proofs and software verification</em></strong></span></p>
<p> <a href="https://epit2025.sciencesconf.org/" target="_blank" rel="noopener noreferrer">https://epit2025.sciencesconf.org</a></p>
<p><span>------------------------------------------------------------------------------------------</span></p>
<p style="text-align: left;"><strong> Call for Participation</strong><span></span></p>
<p>The 52nd edition of EPIT (École de Printemps d'Informatique Théorique -- French Spring School on Theoretical Computer Science <a href="https://epit2025.sciencesconf.org/" target="_blank" rel="noopener noreferrer">https://epit2025.sciencesconf.org</a>) will take place form the 19th to the 23rd of mai 2025 in Aussois, French Alps, at Paul Langevin center.</p>
<p>This year, the school will focus on some applications of logic to three fields of computer science -- typed programming, formal proofs and software verification -- setting up connections between those fields.</p>
<p>EPIT, is a CNRS thematic research school, which targets both young and confirmed researchers who are already working in the field or willing to discover and open to new topics.</p>
<p><br /></p>
<p>The school will consist in several lectures that will be taught, in english, by Bahareh Afshari, <span>Anupam Das, Daniel Gratzer, Adrien Guatto, </span><span>Farzad Jafarrahmani, </span><span>Karoliina Lehtinen, </span><span>Paul-André Melliès, Daniela Petrișan, </span><span>Damien Pous, </span><span>Hiroshi Unno, and Yannick Zakowski. </span>Courses are detailed on the school website and the list of course is presented below.</p>
<p><br /></p>
<p><span>REGISTRATION FEES</span><br /><span>---------------------------</span></p>
<p><em><strong>The registration deadline is march 31st. R</strong><span><strong>egistration fees (including housing and meals):</strong></span></em></p>
<div class="v1v1field v1v1field-name-body v1v1field-type-text-with-summary v1v1field-label-hidden">
<div class="v1v1field-items">
<div class="v1v1field-item v1v1even">
<table style="height: 54px; width: 322px;" border="1" cellpadding="1" align="center">
<tbody>
<tr style="height: 18px;">
<td style="width: 146.483px; height: 18px;"> </td>
<td style="width: 69.2333px; height: 18px;">Regular</td>
<td style="width: 84.2833px; height: 18px;">Student</td>
</tr>
<tr style="height: 18px;">
<td style="width: 146.483px; height: 18px;">Single Room</td>
<td style="width: 69.2333px; height: 18px;">650 euros</td>
<td style="width: 84.2833px; height: 18px;">550 euros</td>
</tr>
<tr style="height: 18px;">
<td style="width: 146.483px; height: 18px;">Shared Double Room</td>
<td style="width: 69.2333px; height: 18px;">600 euros</td>
<td style="width: 84.2833px; height: 18px;">500 euros</td>
</tr>
</tbody>
</table>
</div>
</div>
</div>
<div class="v1form">
<div> </div>
</div>
<div class="v1form">
<div><em><strong>Details:</strong></em></div>
</div>
<p>- Regular fee: we offer a single-room registration fee at 650 euros and a shared-double-room registration at 600 euros. Both of these registration fees include accommodation and meals, from Sunday evening to Friday after lunch.</p>
<p>- Student fee: we offer a single-room registration fee at 550 euros and a shared-double-room registration at 500 euros. Both of these registration fees include accommodation and meals, from Sunday evening to Friday after lunch.</p>
<p>- CNRS employees: <span>EPIT is a CNRS thematic school; consequently, people employed by CNRS (PhD students, post-docs or permanent researchers) do not pay registration fees. To be eligible, you must hold a CNRS work contract at the time of the school.</span></p>
<p>- The conference center offers vegetarian meals but no vegan option.</p>
<p>- If you need an invitation letter for preparing a visa, please let us know in the registration form or by sending directly an email to <a href="mailto:alexis.saurin@irif.fr">alexis.saurin@irif.fr</a> detailing what information is needed.</p>
<p>- Details on the registration process are available on the school website: <a href="https://epit2025.sciencesconf.org/" target="_blank" rel="noopener noreferrer">https://epit2025.sciencesconf.org</a></p>
<p><br /></p>
<p>Thanks for forwarding this announcement to colleagues and students who may be interested interested.</p>
<p><br /></p>
<p><br /><span>IMPORTANT DATES</span><br /><span>----------------------</span><span></span><span></span></p>
<p><span>- Pre-registration deadline : 31 march 2025</span></p>
<p><span>- Arrival of participants in Aussois : 18 may 2025</span></p>
<p><span>- School : 19 to 23 may 2025</span><br /><br /></p>
<p>We hope to see you this spring in Aussois!</p>
<p><br /></p>
<p>The EPIT 2025 organizing committee,</p>
<p>Guilhem Jaber, Denis Kuperberg, Luigi Santocanale, Alexis Saurin</p>
<p><a href="https://epit2025.sciencesconf.org/" target="_blank" rel="noopener noreferrer">https://epit2025.sciencesconf.org</a></p>
<p><br /></p>
<p>========================================</p>
<p><span style="text-decoration: underline;"><strong><em>List of the courses:</em></strong></span></p>
<p><br /></p>
<p><em><strong>FUNDAMENTAL BLOCK:</strong></em></p>
<p>COURSE 0: <em>Back to basics: introductory background lecture</em></p>
<p>COURSE 1: <em>The μ-calculus and its Proof-theory</em> by Bahareh Afshari (University of Gothenburg, Sweden)</p>
<p><span>COURSE 2: <em>Introduction to</em> <em>C</em></span><em>ategory Theory, Algebras and Coalgebras </em><span><em>by</em></span><span> Farzad Jafarrahmani (Lagrange Center, France) and Daniela Petrișan (Université Paris Cité, France)</span></p>
<p><span>COURSE 3: </span><em>Automata on Infinite Structures</em><span> by Karoliina Lehtinen (CNRS, France)</span></p>
<p><em>COURSE 4: Cyclic Proofs: Expressiveness and Semantics </em><span>by Anupam Das (University of Birmingham, UK) and </span><span>Farzad Jafarrahmani (Lagrange Center, France) </span><strong> </strong></p>
<p><em><strong>FROM ABSTRACTIONS TO APPLICATIONS:</strong></em></p>
<p>COURSE 5: <em>Higher-order Languages, Categories and Automata </em><span>by Paul-André Melliès (CNRS, France) and Daniela Petrișan (Université Paris Cité, France)</span><span></span></p>
<p><span>COURSE 6: </span><em>Inductive and Coinductive Types in Proof Assistants</em><span> by Damien Pous (CNRS, France) and Yannick Zakowski (INRIA, France)</span></p>
<p><span>COURSE 7: <em>Cyclic Proof-Search for Program Verification</em></span><em> </em><span>by Hiroshi Unno (Tohoku University, Japan)</span></p>
<p><span>COURSE 8: </span><em>Guarded Recursive Types </em><span>by Daniel Gratzer (Aarhus University, Denmark) and Adrien Guatto (Université Paris Cité, France)</span></p>
<div id="v1v1_rc_sig"> </div>
</body></html>