Events
- November 22. A. Bluhm (CR CNRS) joined CAPP.
- January 22. Start of the NARCO 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)
- June 2019: Gilles Zemor is visiting CAPP.
- April 29-30 2019: Informal workshop on Separation Logic in Paris (organized by R. Iosif, Verimag).
- February 25-26, 2019: D. Horsman organized the 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.