- ANR JCJC DYVERSE (2020-2025): Dynamic versatile semantics.
Coordinator: Pierre Clairambault - ANR PRC RECIPROG (2021-2025): Reasoning on circular proofs for programming.
Local coordinator: Luigi Santocanale - ANR PRC LambdaComb (2021-2025): Une expédition cartographique entre le lambda-calcul, la logique, et la combinatoire.
Local coordinator: Luigi Santocanale