Events

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