===== RECIPROG Kick-off meeting =====
==== ENS Lyon, may 6th ====

RECIPROG Kick-off meeting will take place in ENS Lyon on may 6th, following the CHOCOLA meeting 
of may 5th which will feature talks by Gianluca Curzi and Farzad Jafarrahmani on topics related 
to the ANR project. 

=== Program : ===

== May 5th == 

[[https://chocola.ens-lyon.fr/events/meeting-2022-05-05/|Chocola seminar]] featuring: 
  * Gianluca Curzi (Univ Birmingham): Cyclic implicit complexity
  * Farzad Jafarrahmani (IRIF):   Linear logic with fixpoints from a Curry-Howard perspective and
  * Nathanaëlle Courant (INRIA): Testing convertibility in parallel. 

(the talks by Gianluca and Farzad are directly within the scope of ReCiProg)

== May 6th ==

(Preliminary program)

  * 9h30-9h45: Welcome
  * 9h45-10h: Introduction to the project ReCiProg (Alexis, Denis, Guilhem & Luigi)
  * 10h-11h: Anupam Das: On the computational expressivity of (circular) systems with (co)induction, via metamathematics
  * 11h-11h30: Coffee break
  * 11h30-12h: Pierre Hyvernat:  Representing Continuous Functions between Greatest Fixed Points of Indexed Containers
  * 12h-12h30: Émile Hazard: Cyclic proofs for transfinite expressions

  * 12h30-14h: Lunch

/*
14h-14h30: Exposé Charles Grellois
14h30-15h30: Tutoriel Yannick Zakowski
15h30-16h: Pause
16h-17h30: Table ronde/mini-exposés
Soit:
*/

  * 14h-14h30:  Charles Grellois: From higher-order model-checking to cyclic proofs
  * 14h30-15h30: Yannick Zakowski: Tutorial on Coinduction in Coq
  * 15h30-16h: Coffee break
/*  * 16h-16h30: Alexis Saurin: Bouncing threads for circular and non-wellfounded proofs */
  * 16h-17h30: short talks on ongoing and recent works, paper announcements, etc. (Pierre Clairambault, Guilhem Jaber, Kenji Maillard, Pierre-Marie Pédrot, Alexis Saurin...)


=== Registration and travel : === 
Contact your local coordinator: missions should be funded by your local site (Lyon, Marseille, 
Nantes or Paris), unless you were invited as an external participants to the project, in which 
case this will be funded by Lyon site.

=== Participants : ===

    Esaie BAUER
    Pierre CLAIRAMBAULT
    Gianluca CURZI
    Anupam DAS
    Abhishek DE
    Émile HAZARD
    Pierre HYVERNAT
    Hamza JAAFAR
    Guilhem JABER
    Farzad JAFARRAHMANI
    Denis KUPERBERG
    Kenji MAILLARD
    Paul-André MELLIES
    Guillaume MUNCH-MACCAGNONI
    Pierre-Marie PEDROT
    Luigi SANTOCANALE
    Alexis SAURIN
    Lionel VAUX
    Yannick ZAKOWSKI