The Coq mailing list

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

Last days before registration deadline: We accept registrations until April 10th included.

------------------------------------------------------------------------------------------
                                          EPIT 2025

                 French Spring School in Theoretical Computer Science

                          may 19th-23rd 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 http://epit.irif.fr) 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, presenting links 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. The list of courses is available online on the school website EPIT and listed below as well. Course descriptions are available on the school website.

REGISTRATION FEES
----------------------------

The registration deadline is april 10th, subject to availability.

Registration fees (including housing and meals):

	Regular	Student	CNRS employees
Single Room	650 euros	550 euros	free
Shared Double Room	600 euros	500 euros	free

 

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.

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

Thanks for forwarding this announcement to colleagues and students potentially interested, in France or abroad.

IMPORTANT DATES
----------------------

- Registration deadline :  April 10th 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 (opening session)

COURSE 1: The μ-calculus and its proof-theory by Bahareh Afshari (University of Gothenburg, Sweden)

COURSE 2: Basics of 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: Bisimulation and coinductive types in the Rocq proof assistant by Damien Pous (CNRS, France) and Yannick Zakowski (INRIA, France)

COURSE 7: Software Verification via Fixed-Point Logics: Constraint Solving, Cyclic-Proof Search, and Strategy Synthesis by Hiroshi Unno (Tohoku University, Japan)

COURSE 8: Guarded recursive types by Daniel Gratzer (Aarhus University, Denmark) and Adrien Guatto (Université Paris Cité, France)