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
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
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…)
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