The Coq mailing list

[Alexis Saurin <alexis.saurin AT irif.fr>]

------------------------------------------------------------------------------------------
                                          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

------------------------------------------------------------------------------------------

                         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) 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 alexis.saurin AT irif.fr detailing what information is needed.

- Details on the registration process are available on the school website:  https://epit2025.sciencesconf.org

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

========================================

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 Category 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)