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 pre-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 ---------------------- - Pre-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) You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>