- 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.