Two new publications in collaboration between Argentina and France have been accepted at the 15th International Symposium on Functional and Logic Programming (FLOPS 2020).
Antonio Bucciarelli, Delia Kesner, Alejandro Ríos, and Andrés Viso. “The Bang Calculus Revisited”.
Beniamino Accattoli and Alejandro Díaz-Caro. “The Distributive λ-Calculus”.
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.
Marthe Bonamy (CNRS and Université de Bordeaux), Flavia Bonomo (Universidad de Buenos Aires), and Maya Stein (Universidad de Chile) are the directors of the new Math-AmSud project “STALGRAPH: Structural and algorithmic graph theory“. Several members of the LIA SINFIN are involved in the project.
Wednesday October 16th, 15:00 (Paris time) 10:00 (Buenos Aires time).
Fernando Schapachnik: an overview of the research in Didactics in Argentina
David Roche: the recent evolutions of computer science education in France
Bibliothèque du LSV,
École normale supérieure de Paris-Saclay,
61 avenue du Président Wilson, Cachan
Nina Pardal obtained a Saint-Exupéry scholarship to visit Université Paris 13 for 2 months in November and December 2019.
Diego Figueira visits Universidad de Buenos Aires from November 29 to December 12, 2019.
Gilles Dowek (INRIA & ENS Paris-Saclay) visits Universidad de Buenos Aires to work with Alejandro Díaz-Caro from November 25 to December 6, 2019
Delia Kesner (IRIF) visits Universidad de Buenos Aires from November 8 to 22, 2019.