Recent Papers

• January 2023
  • The paper “”An Undecidability Result for Separation Logic With Theory Reasoning” by M. Echenim and N. Peltier is accepted for publication in Information Processing Letters.
• December 2022
  • The paper “A Strict Constrained Superposition Calculus for Graphs” by Rachid Echahed, Mnacho Echenim, Mehdi Mhalla, and Nicolas Peltier is accepted at FoSSaCS 2023.
• August 2022
  • The paper “Reasoning on Dynamic Transformations of Symbolic Heaps” (by N. Peltier) is accepted at TIME 2022 (29th International Symposium on Temporal Representation and Reasoning). slides.
• June 2022
  • The paper “Two Results on Separation Logic With Theory Reasoning” (by M. Echenim and N. Peltier) is accepted for presentation at ASL 2022 (Workshop on Advancing Separation Logic).
• September 2021
  • The paper A Superposition-Based Calculus for Diagrammatic Reasoning by Rachid Echahed, Mnacho Echenim, Mehdi Mhalla, Nicolas Peltier was presented at PPDP 2021 (by N. Peltier). video.
• July 2021
  • The paper Entailment is Undecidable for Symbolic Heap Separation Logic Formulae with Non-Established Inductive Rules by Mnacho Echenim, Radu Iosif and Nicolas Peltier has been accepted for publication in Information Processing Letters.
  • The paper A Superposition-Based Calculus for Diagrammatic Reasoning by Rachid Echahed, Mnacho Echenim, Mehdi Mhalla, Nicolas Peltier is accepted at PPDP 2021.
  • The paper Coherent control and distinguishability of quantum channels via PBS-diagrams (Cyril Branciard, Alexandre Clément, Mehdi Mhalla, Simon Perdrix) is accepted at MFCS’21.
  • Quantum Polarization of Qudit Channels. Ashutosh Goswami, Mehdi Mhalla, Valentin Savin. ISIT 2021.
• April 2021
  • The paper “Unifying Decidable Entailments in Separation Logic with Inductive Definitions” by Mnacho Echenim, Radu Iosif and Nicolas Peltier is accepted at CADE 2021.
• February 2021
  • The final version of the paper “Parallel Independence in Attributed Graph Rewriting” by Thierry Boy de La Tour is accepted for publication in the Electronic Proceedings in Theoretical Computer Science (TERMGRAPH 2020).
• January 2021
  • The paper “Decidable Entailments in Separation Logic with Inductive Definitions: Beyond establishment” by M. Echenim, R. Iosif and N. Peltier was presented at CSL 2021 (recorded presentation by N. Peltier, see the video).
  • The paper Entailment Checking in Separation Logic with Inductive Definitions is 2-EXPTIME hard was presented at LPAR 2020-2021 (by R. Iosif, see the slides).
• December 2020
  • The paper “Parallel rewriting of attributed graphs“, by R. Echahed and T. Boy de la Tour, appeared in Theoretical Computer Science.
• September 2020
  • The paper “Decidable Entailments in Separation Logic with Inductive Definitions” by M. Echenim, R. Iosif and N. Peltier is accepted for publication at CSL 2021 (the conference will be virtual).
• July 2020
  • The paper “Parallel Independence in Attributed Graph Rewriting” by Thierry Boy de La Tour is accepted for presentation at TERMGRAPH 2020.
• May 2020
  • The book “A Guided Tour of Artificial Intelligence Research” is now published.
  • The paper “How Quantum Information can improve Social Welfare”, by Berry Groisman, Michael Mc Gettrick, Mehdi Mhalla, Marcin Pawlowski is accepted for publication in the IEEE Journal on Selected Areas in Information Theory.
  • The paper “Contextuality and Expressivity of Non-locality” by Mehdi Mhalla and Sacha Huriot will be presented at QPL 2020.
• April 2020:
  • The paper ” Entailment Checking in Separation Logic with Inductive Definitions is 2-EXPTIME hard” (by M. Echenim, R. Iosif and N. Peltier) is accepted at LPAR 2020 (the conference is cancelled due to the COVID-19 crisis, but the proceedings will be published as usual).
  • The paper “Formalizing the Cox-Ross-Rubinstein pricing of European derivatives in Isabelle/HOL” by M. Echenim, H. Guiol and N. Peltier appeared in the Journal of Automated Reasoning.
  • The paper “Combining Parallel Graph Rewriting and Quotient Graphs” by Thierry Boy de La Tour and Rachid Echahed, is accepted for presentation at the 13th internation workshop on rewriting logic and its applications.
• February 2020:
  • The paper Combining Induction and Saturation-Based Theorem Proving (by M. Echenim and N. Peltier) appeared in the Journal of Automated Reasoning.
• January 2020
  • The paper “The Lower Bound of Decidable Entailments in Separation Logic with Inductive Definitions” by M. Echenim, R. Iosif and N. Peltier was presented at the workshop ADSL 2020.
• December 2019:
  • The paper “The Bernays-Schoenfinkel-Ramsey Class of Separation Logic with Uninterpreted Predicates” by M. Echenim, R. Iosif and N. Peltier has been accepted for publication in the Transactions on Computational Logic.
• November 2019:
  • The paper “Algebraic graph rewriting with controlled embedding” by Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost and Leila Ribeiro has been accepted for publication in Theoretical Computer Science.
  • The paper “Purely Quantum Polar Codes” by Frédéric Dupuis, Ashutosh Goswami, Mehdi Mhalla and Valentin Savin has been accepted in QIP 2020.
• October 2019:
  • The paper “Proof Technology and Learning in Mathematics: Common Issues and Perspectives” by N. Balacheff and T. Boy de la Tour appeared in the Mathematics Education in the Digital Era book series (MEDE, volume 14).
• September 2019:
  • The paper ” Prenex Separation Logic with One Selector Field ” by M. Echenim, R. Iosif and N. Peltier was presented at TABLEAUX 2019.
  • The paper: “Ilinva: Using Abduction to Generate Loop Invariants” by M. Echenim, N. Peltier and Y. Sellami was presented at FroCoS 2019.
• June 2019:
  • The paper “Communication through coherent control of quantum channels” by Alastair A. Abbott, Julian Wechs, Dominic Horsman, Mehdi Mhalla and Cyril Branciard has been accepted for presentation at AQIS 2019.
  • The paper “Purely Quantum Polar Codes” by Frédéric Dupuis, Ashutosh Goswami, Mehdi Mhalla and Valentin Savin has been accepted for presentation at ITW 2019.
  • The paper “Contextuality in multipartite pseudo-telepathy graph games ” by Anurag Anshu, Peter Hoyer, Mehdi Mhalla, Simon Perdrix has been accepted for publication in the Journal of Computer and System Sciences.
• April 2019: The paper The Bernays-Schönfinkel-Ramsey Class of Separation Logic on Arbitrary Domains (by M. Echenim, R. Iosif and N. Peltier) was presented at the 22nd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS).
• February 2019: The paper The PBPO graph transformation approach (by A. Corradini, D. Duval, R. Echahed, F. Prost and L. Ribeiro) appeared in the Journal of Algebraic Methods in Programming.