Santiago Figueira visits LaBRI at Bordeaux, France, from May 9 to 26, 2024.
Flavia Bonomo and Safia Kedad-Sidhoum Appointed as Editor-in-Chief of RAIRO
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 visits Paris-Saclay, May/June 2024
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.
Mini workshop SINFIN 2024
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 🇦🇷
Delia Kesner visits Buenos Aires, March 2024
Delia Kesner will be visiting the ICC at the Universidad de Buenos Aires from February 28 to March 13, 2024, to collaborate with Pablo Barenbaum.
Olivier Carton visits Buenos Aires, February/March 2024
Olivier Carton visits University of Buenos Aires, February 15 to March 30, 204 to work with Verónica Becher and Santiago Figueira.
Sylvain Perifel defends his HDR, with Santiago Figueira as “rapporteur”. December 2023
Sylvain Perifel (IRIF) defended his “Habilitation à Diriger des Recherches” (HDR) entitled “L’aléatoire par le prisme des polynômes et de la compression“, and Santiago Figueira (CONICET/UBA) acts as a “rapporteur” member of the jury.
Pablo Barenbaum visits Paris, November/December 2023
Pablo Barenbaum visits the IRIF laboratory at Université Paris Cité from November 20 to December 12, 2023, to work with Delia Kesner and Mariana Milicich.
Alejandro Díaz-Caro and Pablo Arrighi present a “Café de las Ciencias”
Verónica Becher gives a talk at Université Paris-Cité, October 2023
Verónica Becher presents her research line in the Welcome session of the Séminaire de Automates, IRIF, Université Paris Cité. October 20, 2023
https://www.irif.fr/seminaires/automates/index