Diego Figueira, Santiago Figueira, and Edwin Pin Baque got their paper Finite Controllability for Ontology-Mediated Query Answering of CRPQ accepted at the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR’2020), to be held at Rhodes, Greece, on September 12-18, 2020.
The volume 281 of Discrete Applied Mathematics, containing a special issue dedicated to LAGOS’17: IX Latin and American Algorithms, Graphs and Optimization Symposium, C.I.R.M., Marseille, France – 2017, has appeared online. It has been edited by Frédérique Bassino, Flavia Bonomo-Braberman, Lionel Pournin, and Mario Valencia-Pabon.
The team, LoReL will start a weekly seminar, and, given the current situation, it will be online, so it is open to everyone who wish to attend.
It starts on June 4 with a talk by Pablo Barenbaum (see details at LoReL webpage). The seminars will be every Thursday at 2pm (Argentina local time). Here is a Google calendar, which currently only have Pablo’s talk until we confirm others.
The topics at LoReL are logics, rewriting, lambda calculus, type theor,y and models, which match some of the topics of the SINFIN’s LDPL team.
Eda Cesaratto and Brigitte Vallée “Gaussian behavior of quadratic irrationals” was accepted for publication at Acta Arithmetica. Preprint at arXiv:1708.00051.
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).
Due to the COVID-19 pandemic, all trips have been suspended until further notice.
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 .
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”.
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 (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).