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.

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)

(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: Charles Grellois: From higher-order model-checking to cyclic proofs
• 14h30-15h30: Yannick Zakowski: Tutorial on Coinduction in Coq
• 15h30-16h: Coffee break
• 16h-17h30: short talks on ongoing and recent works, paper announcements, etc. (Pierre Clairambault, Guilhem Jaber, Kenji Maillard, Pierre-Marie Pédrot, Alexis Saurin…)

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.

  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