Alejandro Díaz-Caro, Malena Ivnisky, and Rafael Romero visit Université Paris-Saclay (Gilles Dowek, Benoît Valiron, and Agustín Borgna) in November 2021, in the first LDPL physical meeting since the COVID-19 crisis.
Alejandro Díaz-Caro (Argentina) and Gilles Dowek (France), got the “Best Paper Award” at the 18th International Colloquium on Theoretical Aspects of Computing (ICTAC 2021) for their work “A New Connective in Natural Deduction, and Its Application to Quantum Computing“.
The following is an English translation of the announcement which will appear in the ‘’Carnets’’ of the French Journal ”le Monde”, in the Section ‘’Mémoire’’
Computer scientist and mathematician.
Member of the Academy of Sciences,
left us ten years ago, on March 22, 2011.
All of us, who work in the fields of mathematical informatics, in France and abroad, we will not forget him.
Philippe’s work accompanies us every day in our research and shows us the way.
Several members of SINFIN, notably in the ”Randomness and Analysis of Algorithms” team, worked hand by hand with Philippe Flajolet.
As announced before, the Instituto de Ciencias de la Computación (ICC) will be the organiser of the 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021). A news article about it appeared in the ICC news:
Virtual meeting: “Workshop on Randomness and Analysis of Algorithms ( RAPA2 )“, which is a STIC AMSUD project involving SINFIN members. The meeting has been held on December 10th and 11th in the morning for the South Americans and in the afternoon for the French partners.
STIC-Amsud project “Qapla’ – Quantum Aspects of Programming Languages”. Director: Alejandro Díaz-Caro (UNQ & ICC (UBA/CONICET)).
Local directors: Gilles Dowek (Inria, LSV. Paris Saclay, France)
Simon Perdrix (CNRS, Loria, France)
Federico Olmedo (UChile, Chile)
Octavio Malherbe (UdelaR, Uruguay).
On November 26, 2020, a workshop from the STALGRAPH MathAmSud project (involving several SINFIN members) will take place online.
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.