Grants

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.