Alejandro Díaz-Caro starts an advanced research position at the Centre Inria de l’Université de Lorraine for the period from October 2023 to September 2026. He continues teaching virtually at Universidad Nacional de Quilmes.
Ignacio Mollo Cunningham visits Paris, October 2024
Ignacio Mollo Cunningham visits IRIF, Université Paris Cité, to work with Olivier Carton and Jacques Sakarovitch, from October 1 to October 30, 2024.
Amalia Sorondo starts her PhD at IRIF, October 2024
Amalia Sorondo will begin her PhD at IRIF in October 2024, funded by the École Doctorale de Sciences Mathématiques de Paris-Centre. She will work on ordered graphs under the supervision of Pierre Charbit and Michel Habib, in collaboration with Flavia Bonomo.
Raúl Fervari visits Paris, October 2024
Raul Fervari (CONICET-UNC) visits LMF, Université Paris-Saclay from October 18 to November 3, to work with Stéphane Demri.
STIC-AMSUD “Dynamic Logics Reloaded” Workshop at Córdoba, September/October 2024
The STIC-AMSUD 23-STIC-07 Dynamic Logics Reloaded had a Workshop at FAMAF-UNC, Córdoba, Argentina.
It took place from September 30 to October 2 at FAMAF-UNC, and gathered researchers from Argentina, France, Chile and Brazil.
Website of the workshop: https://sites.google.com/view/dlrseminar2024
Lutz Strassburger visits Córdoba, September 2024
Lutz Strassburger (Inria Saclay) visits FAMAF-UNC, from Sept 23 to Oct 3, to work with Carlos Areces.
Eda Cesaratto visits Paris, September 2024
Eda Cesaratto (Universidad Nacional de Gral. Sarmiento, Universidad de Buenos Aires and CONICET) visits IRIF, Université Paris Cité, from September 9 to October 6 to work with Valérie Berthé, funded by IRIF.
Mariana Milicich visits Buenos Aires – July/September, 2024
Mariana Milicich, Université Paris-Cité, is visitting Buenos Aires from July 28 to September 9 to work with Pablo Barenbaum, funded by SINFIN.
Giulio Guerrieri visits Buenos Aires – July/September, 2024
Giulio Guerrieri, Sussex University, is visitting Buenos Aires from July 28 to September 18 to work with Pablo Barenbaum.
Course on Lambda-Calculus at ECI
Giulio Guerrieri will be teaching a course titled “The lambda-calculus: from simple types to non-idempotent intersection types” at the Escuela de Ciencias Informáticas (ECI) from July 29 to August 2, 2024. More details can be found here.