Stéphane Demri and Raul Fervari. “The Power of Modal Separation Logics”. Accepted in Journal of Logic and Computation (JLC), to appear.
Stéphane Demri, Raul Fervari, Alessio Mansutti. “Axiomatising Logics with Separating Conjunction and Modalities”. In Proceedings of the 16th European Conference on Logics in Artificial Intelligence (JELIA 2019), volume 11468 of LNCS, pages 692-708, Springer 2019
STIC-Amsud project “DyLo-MPC – Dynamic Logics: Model Theory, Proof Theory and Computational Complexity”. Director: Carlos Areces (UNC & CONICET). Local directors: Stéphane Demri (LSV. Paris Saclay, France), Mario Benevides (UFRJ, Brazil). Período: 2020-2022
Verónica Becher (Universidad de Buenos Aires), Loïck Lhote (ENSICAEN and Université de Caen), and Alfredo Viola (Universidad de La República, Uruguay) are the directors of the new STIC-AmSud project “Randomness and Probabilsitic Analysis of Algorithms“, 2020-2022. Several members of the IRP SINFIN are involved in it.
