Category: Uncategorized

Jacques Sakarovitch, CNRS, is invited Profesor at Departamento de Computación, Facultad de Ciencias Exactas y Naturales Universidad de Buenos Aires, invited by  Verónica Becher, July 23 -August 11,  2024,  as part of Programa de Expertos Internacionales de la Universidad de  Buenos Aires. He will work with Verónica Becher and Ignacio Mollo Cunningham.

Raúl Fervari has been awarded the Jean D’Alembert Fellowship for 2024-2026 by Université Paris-Saclay. He will join the LMF for six months next year.

More details on the fellowship can be found here.

Eric Brandwein visits LIRMM at Université de Montpellier, from June 17 to 30, to work with his co-advisor Ignasi Sau.

The project QCOMICAL: “Quantum Computing and Its Calculi” has been accepted by the Eurpean Union as a Marie Skłodowska-Curie Action “Staff Exchanges”
for 4 years. With members fron Argentina, Uruguay, France, and Italy.

Argentina:
Universidad Nacional de Quilmes
Universidad de Buenos Aires

Uruguay:
Universidad de la República

France:
Université Paris-Saclay
Inria
Université Paris-Cité
Aix-Marseille Université
Université Grenoble Alpes
Université Paris-Est Créteil (UPEC)
Quandela

Italy:
Università di Pisa
Università degli studi di Urbino
Università degli studi di Cagliari

Eda Cesaratto visits IRIF at Université Paris Cité and LAMFA at University Jules Verne at Amiens, from June 10 to 16 to work with the team of the STIC Amsud project EPAA.

On May 29 and 30, Pablo Rotondo is organizing a virtual meeting to kick off the STIC AMSUD EPAA project. The meeting will take place in the morning for South Americans and in the afternoon for French participants.

Santiago Figueira visits LaBRI at Bordeaux, France, from May 9 to 26, 2024.

Starting July 2024, Flavia Bonomo (CONICET-UBA) and Safia Kedad-Sidhoum (Cédric-CNAM) will serve as Editor-in-Chief of RAIRO – Operations Research. This publication, hosted by EDP Sciences, forms part of the European Series in Applied and Industrial Mathematics (ESAIM), under the scientific responsibility of the Société de Mathématiques Appliquées et Industrielles (SMAI) and the Société Française de Recherche Opérationnelle et d’Aide à la Décision (ROADEF) in France.

Alejandro Díaz-Caro is visiting the LMF at Université Paris-Saclay, as an invited profesor by CentraleSupélec, from May 13 to June 8, 2024, to work with Benoît Valiron and Vladimir Zamdzhiev from the Quacs team, and Gilles Dowek from the Deducteam team.

On the occasion of the visit of Delia Kesner, director from the French side of SINFIN, and Olivier Carton, from the Randomness and Analysis of Algorithms team, we have organised this mini-workshop on Monday, March 11, 2024, with the following program.

18.00-18.30 – Team: Logics and Dynamics of Programming Languages
Talk #1: Linear logic as a key to understand programs
Speaker: Pablo Barenbaum 🇦🇷
Joint work with Delia Kesner 🇫🇷, Mariana Milicich 🇫🇷, and Eduardo Bonelli 🇺🇸

Talk #2: A polymorphic extension of a linear proof language for intuitionistic linear logic
Speaker: Malena Ivnisky 🇦🇷
Co-authors: Alejandro Díaz-Caro 🇦🇷, Gilles Dowek 🇫🇷, and Octavio Malherbe 🇺🇾

18.35-19.05 – Team: Graph Theory and Combinatorial Optimization
Talk: Parameterized algorithms for thinness via the cluster module number
Speaker: Eric Brandwein 🇦🇷
Co-authors: Flavia Bonomo 🇦🇷 and Ignasi Sau 🇫🇷

19.10-19.40 – Team: Theory of Structured Data
Talk: First Order Logic with unary negation and transitive closure
Speaker: Santiago Figueira 🇦🇷
Co-authors: Diego Figueira 🇫🇷 and Edwin Pin 🇦🇷

19.45-20.15 – Team: Randomness and Analysis of Algorithms
Talk: Nested perfect arrays
Speaker: Olivier Carton 🇫🇷
Co-author: Verónica Becher 🇦🇷