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.