[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
------------------------------------------------------------------------------------------
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://urldefense.com/v3/__https://epit2025.sciencesconf.org__;!!IBzWLUs!VHSEAHQWlCOdIjZSDnud_BWmoKPtNwz5IOe9SQGsqNCUxeKRSgtB8lcQtFLvnGp9zzOnP17REmyNEafvo-lzG6BpYbeay41m_9cp5nA$
[1]
------------------------------------------------------------------------------------------
Call for Participation
The 52nd edition of EPIT (École de Printemps d'Informatique Théorique --
French Spring School on Theoretical Computer Science
https://urldefense.com/v3/__https://epit2025.sciencesconf.org__;!!IBzWLUs!VHSEAHQWlCOdIjZSDnud_BWmoKPtNwz5IOe9SQGsqNCUxeKRSgtB8lcQtFLvnGp9zzOnP17REmyNEafvo-lzG6BpYbeay41m_9cp5nA$ [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://urldefense.com/v3/__https://epit2025.sciencesconf.org__;!!IBzWLUs!VHSEAHQWlCOdIjZSDnud_BWmoKPtNwz5IOe9SQGsqNCUxeKRSgtB8lcQtFLvnGp9zzOnP17REmyNEafvo-lzG6BpYbeay41m_9cp5nA$ [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://urldefense.com/v3/__https://epit2025.sciencesconf.org__;!!IBzWLUs!VHSEAHQWlCOdIjZSDnud_BWmoKPtNwz5IOe9SQGsqNCUxeKRSgtB8lcQtFLvnGp9zzOnP17REmyNEafvo-lzG6BpYbeay41m_9cp5nA$
[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://urldefense.com/v3/__https://epit2025.sciencesconf.org/__;!!IBzWLUs!VHSEAHQWlCOdIjZSDnud_BWmoKPtNwz5IOe9SQGsqNCUxeKRSgtB8lcQtFLvnGp9zzOnP17REmyNEafvo-lzG6BpYbeay41mYeILFXI$
