We are or were partners of the following grants:
- LIG projet “Emergence” Réécriture Parallèle (2019-2020, head: T. Boy de la Tour)
- LIG projet “Emergence” Abductive Reasoning and Separation Logic (2018-2019, heads: M. Echenim et N. Peltier)
- The ANR project ASAP (head: A. Leistch and N. Peltier)
- The ANR project CLIMT (head: R. Echahed).
- The ANR project GAG.
- The ANR project SENDUP.