[Agda] Call for Participation to French Spring School on TCS -- 19-23 may in Aussois (French Alps)

[Alexis Saurin]

------------------------------------------------------------------------------------------
                                           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 
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 [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/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20250304/1736d943/attachment.html>