Call for Participation to French Spring School on TCS -- 19-23 may in Aussois (French Alps)
Alexis Saurin <[email protected]> Tue, 04 Mar 2025 16:34:02 +0100
| Newsgroups | gmane.comp.lang.agda,gmane.comp.science.types.announce,gmane.science.mathematics.prooftheory,gmane.science.mathematics.categories,gmane.science.mathematics.logic.coq.club,gmane.comp.lang.caml.inria |
|---|---|
| Message-ID | <[email protected]> |
--===============7428516487508538139==
Content-Type: multipart/alternative;
boundary="=_228045ad2262600b992b702de38bb1a0"
--=_228045ad2262600b992b702de38bb1a0
Content-Transfer-Encoding: 8bit
Content-Type: text/plain; charset=UTF-8;
format=flowed
------------------------------------------------------------------------------------------
EPIT 2025
French Spring School on Theoretical Computer Science
19-23 may 2025 in Aussois (French Alps)
_ (Co)inductive & circular reasoning applied to _
_ programming, formal proofs and software verification_
https://epit2025.sciencesconf.org [1]
------------------------------------------------------------------------------------------
Call for Participation
The 52nd edition of EPIT (École de Printemps d'Informatique Théorique --
French Spring School on Theoretical Computer Science
https://epit2025.sciencesconf.org [1]) will take place form the 19th to
the 23rd of mai 2025 in Aussois, French Alps, at Paul Langevin center.
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.
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.
The school will consist in several lectures that will be taught, in
english, by Bahareh Afshari, Anupam Das, Daniel Gratzer, Adrien Guatto,
Farzad Jafarrahmani, Karoliina Lehtinen, Paul-André Melliès, Daniela
Petrișan, Damien Pous, Hiroshi Unno, and Yannick Zakowski. Courses are
detailed on the school website and the list of course is presented
below.
REGISTRATION FEES
---------------------------
_The registration deadline is march 31st. Registration fees (including
housing and meals):_
Regular
Student
Single Room
650 euros
550 euros
Shared Double Room
600 euros
500 euros
_Details:_
- 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.
- 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.
- CNRS employees: 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.
- The conference center offers vegetarian meals but no vegan option.
- 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
[email protected] detailing what information is needed.
- Details on the registration process are available on the school
website: https://epit2025.sciencesconf.org [1]
Thanks for forwarding this announcement to colleagues and students who
may be interested interested.
IMPORTANT DATES
----------------------
- Pre-registration deadline : 31 march 2025
- Arrival of participants in Aussois : 18 may 2025
- School : 19 to 23 may 2025
We hope to see you this spring in Aussois!
The EPIT 2025 organizing committee,
Guilhem Jaber, Denis Kuperberg, Luigi Santocanale, Alexis Saurin
https://epit2025.sciencesconf.org [1]
========================================
_List of the courses:_
_FUNDAMENTAL BLOCK:_
COURSE 0: _Back to basics: introductory background lecture_
COURSE 1: _The μ-calculus and its Proof-theory_ by Bahareh Afshari
(University of Gothenburg, Sweden)
COURSE 2: _Introduction to_ _C__ategory Theory, Algebras and Coalgebras
__by_ Farzad Jafarrahmani (Lagrange Center, France) and Daniela Petrișan
(Université Paris Cité, France)
COURSE 3: _Automata on Infinite Structures_ by Karoliina Lehtinen (CNRS,
France)
_COURSE 4: Cyclic Proofs: Expressiveness and Semantics _by Anupam Das
(University of Birmingham, UK) and Farzad Jafarrahmani (Lagrange
Center, France)
_FROM ABSTRACTIONS TO APPLICATIONS:_
COURSE 5: _Higher-order Languages, Categories and Automata _by
Paul-André Melliès (CNRS, France) and Daniela Petrișan (Université Paris
Cité, France)
COURSE 6: _Inductive and Coinductive Types in Proof Assistants_ by
Damien Pous (CNRS, France) and Yannick Zakowski (INRIA, France)
COURSE 7: _Cyclic Proof-Search for Program Verification__ _by Hiroshi
Unno (Tohoku University, Japan)
COURSE 8: _Guarded Recursive Types _by Daniel Gratzer (Aarhus
University, Denmark) and Adrien Guatto (Université Paris Cité, France)
Links:
------
[1] https://epit2025.sciencesconf.org/
--=_228045ad2262600b992b702de38bb1a0
Content-Transfer-Encoding: quoted-printable
Content-Type: text/html; charset=UTF-8
<html><head><meta http-equiv=3D"Content-Type" content=3D"text/html; charset=
=3DUTF-8" /></head><body style=3D'font-size: 10pt; font-family: Verdana,Gen=
eva,sans-serif'>
<p><br /></p>
<p><span>------------------------------------------------------------------=
------------------------</span><br /> &n=
bsp;  =
; &n=
bsp; EPIT 2025</p>
<p> French Spr=
ing School on Theoretical Computer Science<br /><span> &nb=
sp; =
19-23 may 2025 in Au=
ssois (French Alps)</span></p>
<p><span style=3D"color: #000000;"><strong><em> =
(Co)inductive & circular reasoning applied to </em=
></strong></span></p>
<p><span style=3D"color: #000000;"><strong><em> =
programming, formal proofs and software verification</em></strong></span></=
p>
<p> =
<a=
href=3D"https://epit2025.sciencesconf.org/" target=3D"_blank" rel=3D"noope=
ner noreferrer">https://epit2025.sciencesconf.org</a></p>
<p><span>------------------------------------------------------------------=
------------------------</span></p>
<p style=3D"text-align: left;"><strong> &nb=
sp; =
Call for Participation</strong><span></span></p>
<p>The 52nd edition of EPIT (École de Printemps d'Informatique Th&ea=
cute;orique -- French Spring School on Theoretical Computer Science <a href=
=3D"https://epit2025.sciencesconf.org/" target=3D"_blank" rel=3D"noopener n=
oreferrer">https://epit2025.sciencesconf.org</a>) will take place form the =
19th to the 23rd of mai 2025 in Aussois, French Alps, at Paul Langevin cent=
er.</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 c=
onfirmed researchers who are already working in the field or willing to dis=
cover and open to new topics.</p>
<p><br /></p>
<p>The school will consist in several lectures that will be taught, in engl=
ish, by Bahareh Afshari, <span>Anupam Das, Daniel Gratzer, Adrien Guatto, <=
/span><span>Farzad Jafarrahmani, </span><span>Karoliina Lehtinen, </span><s=
pan>Paul-André Melliès, Daniela Petri=C8=99an, </span><span>D=
amien Pous, </span><span>Hiroshi Unno, and Yannick Zakowski. </span>Courses=
are detailed on the school website and the list of course is presented bel=
ow.</p>
<p><br /></p>
<p><span>REGISTRATION FEES</span><br /><span>---------------------------</s=
pan></p>
<p><em><strong>The registration deadline is march 31st. R</strong><span><st=
rong>egistration fees (including housing and meals):</strong></span></em></=
p>
<div class=3D"v1v1field v1v1field-name-body v1v1field-type-text-with-summar=
y v1v1field-label-hidden">
<div class=3D"v1v1field-items">
<div class=3D"v1v1field-item v1v1even">
<table style=3D"height: 54px; width: 322px;" border=3D"1" cellpadding=3D"1"=
align=3D"center">
<tbody>
<tr style=3D"height: 18px;">
<td style=3D"width: 146.483px; height: 18px;"> </td>
<td style=3D"width: 69.2333px; height: 18px;">Regular</td>
<td style=3D"width: 84.2833px; height: 18px;">Student</td>
</tr>
<tr style=3D"height: 18px;">
<td style=3D"width: 146.483px; height: 18px;">Single Room</td>
<td style=3D"width: 69.2333px; height: 18px;">650 euros</td>
<td style=3D"width: 84.2833px; height: 18px;">550 euros</td>
</tr>
<tr style=3D"height: 18px;">
<td style=3D"width: 146.483px; height: 18px;">Shared Double Room</td>
<td style=3D"width: 69.2333px; height: 18px;">600 euros</td>
<td style=3D"width: 84.2833px; height: 18px;">500 euros</td>
</tr>
</tbody>
</table>
</div>
</div>
</div>
<div class=3D"v1form">
<div> </div>
</div>
<div class=3D"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 l=
unch.</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 l=
unch.</p>
<p>- CNRS employees: <span>EPIT is a CNRS thematic school; consequently, pe=
ople employed by CNRS (PhD students, post-docs or permanent researchers) do=
not pay registration fees. To be eligible, you must hold a CNRS work contr=
act 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 k=
now in the registration form or by sending directly an email to <a href=3D"=
mailto:[email protected]">[email protected]</a> detailing what info=
rmation is needed.</p>
<p>- Details on the registration process are available on the school websit=
e: <a href=3D"https://epit2025.sciencesconf.org/" target=3D"_blank" r=
el=3D"noopener noreferrer">https://epit2025.sciencesconf.org</a></p>
<p><br /></p>
<p>Thanks for forwarding this announcement to colleagues and students who m=
ay be interested interested.</p>
<p><br /></p>
<p><br /><span>IMPORTANT DATES</span><br /><span>----------------------</sp=
an><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=3D"https://epit2025.sciencesconf.org/" target=3D"_blank" rel=3D"=
noopener noreferrer">https://epit2025.sciencesconf.org</a></p>
<p><br /></p>
<p>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D</p>
<p><span style=3D"text-decoration: underline;"><strong><em>List of the cour=
ses:</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 Bahare=
h Afshari (University of Gothenburg, Sweden)</p>
<p><span>COURSE 2: <em>Introduction to</em> <em>C</em></span><em>ategory Th=
eory, Algebras and Coalgebras </em><span><em>by</em></span><span> Farz=
ad Jafarrahmani (Lagrange Center, France) and Daniela Petri=C8=99an (Univer=
sité Paris Cité, France)</span></p>
<p><span>COURSE 3: </span><em>Automata on Infinite Structures</em><spa=
n> 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 Jafarrahm=
ani (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=
=C8=99an (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 Zakow=
ski (INRIA, France)</span></p>
<p><span>COURSE 7: <em>Cyclic Proof-Search for Program Verification</e=
m></span><em> </em><span>by Hiroshi Unno (Tohoku University, Japan)</s=
pan></p>
<p><span>COURSE 8: </span><em>Guarded Recursive Types </em><span>by Da=
niel Gratzer (Aarhus University, Denmark) and Adrien Guatto (Universit&eacu=
te; Paris Cité, France)</span></p>
<div id=3D"v1v1_rc_sig"> </div>
</body></html>
--=_228045ad2262600b992b702de38bb1a0--
--===============7428516487508538139==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
_______________________________________________
Agda mailing list
[email protected]
https://lists.chalmers.se/mailman/listinfo/agda
--===============7428516487508538139==--