Bartosz Bednarczyk, Stéphane Demri, Raúl Fervari, and Alessio Mansutti. “Modal Logics with Composition on Finite Forests: Expressivity and
Complexity”, accepted at 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020).
COVID-19: All travels are suspended
Due to the COVID-19 pandemic, all trips have been suspended until further notice.
Nina Pardal defended her PhD Thesis in cotutelle – March 2020
Thesis: “ Structural characterization of some problems on circle
and interval graphs” (Caractérisation structurelle de quelques problèmes dans les graphes de cordes et d’intervalles)
Author: Nina Pardal
Universities: Universidad de Buenos Aires (UBA) & Université Sorbonne Paris Nord (USPN)
Directors: Guillermo Durán (UBA) and Mario Valencia-Pabon (USPN).
Jury members: Min Chih LIN, Valeria Leone, Christophe Picouleau, Frédérique Bassino, Daniel Perrucci .
Publication accepted at AofA2020
A publication in collaboration between Argentina and France has been accepted at the 31st International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms (AofA2020):
Valérie Berthé, Eda Cesaratto, Frédéric Paccaut, Pablo Rotondo, Martín Safe and Brigitte Vallée. “Two arithmetical sources and their associated tries”. LIPIcs 159(4), 2020. http://doi.org/10.4230/LIPIcs.AofA.2020.4
Verónica Becher is visiting IRIF – March 2020
Verónica BECHER visited IRIF, Université de Paris to work with Olivier CARTON. March 6 to 13, 2020, originally programmed March 6-20, 2020, shortened by COVID-19 pandemia.
Martín Safe is visiting the GREYC Laboratory at Caen – February – March 2020
Martín Safe is visiting the GREYC Laboratory at Caen (France), and more particularly its AMACC team, from February 23 to March 15, 2020 (originally programmed until March 23, shortened by COVID-19 pandemia).
He is invited on a “Chaire d’Excellence” inside the ALENOR Project, (a regional project between theuniversities of Caen, Rouen and Le Havre, Normandy).
Two publications accepted at FLOPS 2020
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”.
A new STIC-AmSud project 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.
A new Math-AmSud project 2020-2022
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.
French-Argentinian Seminar on didactics of computer science
Wednesday October 16th, 15:00 (Paris time) 10:00 (Buenos Aires time).
Program:
Fernando Schapachnik: an overview of the research in Didactics in Argentina
David Roche: the recent evolutions of computer science education in France
Venue:
Bibliothèque du LSV,
École normale supérieure de Paris-Saclay,
61 avenue du Président Wilson, Cachan
Contact: gilles.dowek@ens-paris-saclay.fr