Gabriel Goren (PhD student at UBA) will visit Diego Figueira at LaBRI (Bordeaux) from February 26 to March 5.
Agustín Borgna visits Buenos Aires, January 2022
Agustín Borgna (Université Paris-Saclay & LORIA) visits Universidad de Buenos Aires to work with Rafael Romero in January 2022.
Simon Perdrix visits Buenos Aires, January 2022
Simon Perdrix (Inria / LORIA, Nancy) visits Universidad de Buenos Aires to work with Alejandro Díaz-Caro from January 15 to 31, 2022.
Meeting – STIC AMSUD RAPA2 Project
On December 7th and 8th the Randomness and Analysis of Algorithms Team organized an Hybrid Meeting of STIC AMSUD RAPA2 Project.
Organisers: Loïck Lhote, Eda Cesaratto, and Pablo Rotondo.
More info: https://raofa-sinfin.greyc.fr/virtual-meeting-stic-amsud-rapa2-project/
Sergio Romano defends his PhD thesis at Universidad de Buenos Aires
Thesis: “Técnicas y modelos del lenguaje del pensamiento para el aprendizaje automático a partir de cuerpos de datos ralos”
Directors: Santiago Figueira and Mariano Sigman
Jury: Luciana Benotti, German Kruszewski and Ana Maguitman
Sergio has collaborated, among others, with Marie Amalric and Stanislas Dehaene from the french side of SINFIN while preparing his thesis.
The defense is scheduled for Monday, December 20, 2021, at 2p.m., and will be streamed here:
Second STALGRAPH Workshop
The MathAmSud Project STALGRAPH have their second workshop on Wednesday, 24th of November, 9AM-1PM South American time / 1PM-5PM French time.
First post-COVID travels
In November/December 2021, in the first LDPL physical meeting since the COVID-19 crisis,
- Alejandro Díaz-Caro, Malena Ivnisky, and Rafael Romero visit Université Paris-Saclay.
- Agustín Borgna, Gilles Dowek, and Delia Kesner and visit Universidad de Buenos Aires.
Best paper award at ICTAC 2021
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“.
FSCD 2021 starts on Saturday
The 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021) will run from July 17th to July 24th on the Clowdr virtual platform. It has been organized by the Universidad de Buenos Aires by several members of SINFIN. The main conference is from July 19th to July 22th, and the remaining days are used by its 7 affiliated workshops:
HoTT/UF: 6th Workshop on Homotopy Type Theory/Univalent Foundations
ITRS: 10th Workshop on Intersection Types and Related Systems
WPTE: 7th International Workshop on Rewriting Techniques for Program Transformations and Evaluation
UNIF: 35th International Workshop on Unification
LSFA: 16th Logical and Semantics Frameworks with Applications
IWC: 10th International Workshop on Confluence
IFIP WG 1.6: 24th meeting of the IFIP Working Group 1.6: Rewriting
Participation at TYPES and WiL 2021
Alejandro Díaz-Caro (Argentina), Malena Ivnisky (Argentina), Hernán Melgratti (Argentina), and Benoît Valiron (France) got their work “A finite-dimensional model for affine, linear quantum lambda calculi with general recursion” accepted for presentation at TYPES (27th International Conference on Types for Proofs and Programs) and at WiL (5th Workshop on Women in Logic).
Malena is presenting at both venues.