Events

  • November 22. A. Bluhm (CR CNRS) joined CAPP.
  • January 22. Kesitys is now part of Kaiko.
  • January 22. Start of the NARCO project (ANR).
  • January 22. Start of the EPiQ project (ANR, Etude de la pile quantique: Algorithmes, modèles de calcul et simulation pour l’informatique quantique).
  • October 21. Start of the VeriGraph project (ANR).
  • December 2020. Alastair A. Abbott (CR Inria) is temporarily hosted by the CAPP team.
  • IJCAR 2020: International Joint Conference of Automated Reasoning (co-PC-chair: N. Peltier)
  • Start of the “LIG TIC Talks” (organized by F. Prost)
  • July 2019. Rachid Echahed co-chaired (with D. Plump) the 10th International Workshop on Graph Computation Models.
  • July 2019. Rachid Echahed gave a lecture “Introduction to Graph Rewriting” at  the 11th International School on Rewriting (ISR 2019)
  • April 29-30 2019: Informal workshop on Separation Logic in Paris (organized by R. Iosif, Verimag).
  • February 25-26, 2019: First workshop on ZX calculus.
  • February 2019: N. Peltier replaced R. Echahed as the head of the CAPP team.
  • End 2018: creation of the Kesitys start-up, co-founded by M. Echenim (CAPP), Emmanuel Gobet and Anne-Claire Jeancolas.