Verónica Becher participated in the International Conference on “Prime numbers and arithmetic randomness”, Centre International de Rencontres Mathématiques (CIRM) , Marseille, Junio 23-25, 2025.
She talked about “A simply nomal number with digit dependencies”, joint work between Verónica Becher (UBA), Gérald Tenenbaum (CNRS Institut Élie Cartan de Lorraine, France), Agustín Marchionna (UBA).
Mélodie Andrieu visits Buenos Aires, July 2025
Mélodie Andrieu, CNRS and University of the Littoral Opal Coast, France, in delegation in Center for Mathematical Modeling (CMM), at Universidad de Chile, visits Buenos Aires 26 to 29 July 2025 to work with Verónica Becher and the group KAPOW.
Alejandro Díaz-Caro visits Buenos Aires, July-August 2025
Alejandro Díaz-Caro visits Buenos Aires from July 21 to August 15 to work with his PhD students Malena Ivnisky, Nicolás Monzón, Rafael Romero, and Cristian Sottile, founded by the MSCA-SE QCOMICAL project.
Santiago Figueira visits LaBRI, July 2025
Santiago Figueira visited LaBRI, Bordeaux from 2 to 13 July, to work with Diego Figueira.
Raul Fervari is visiting LMF, September-December 2025
Raul Fervari joined LMF, U. Paris-Saclay, from September to December 2025, funded by the Jean D’Alembert Program.
Malena Ivnisky visits Nancy, June-July, 2025
Malena Ivnisky (PhD student at Universidad de Buenos Aires) is visiting the Centre Inria de l’Université de Lorraine in Nancy to collaborate with Alejandro Díaz-Caro, funded by an Uruguayan CSIC project and the MSCA-SE QCOMICAL project, from June 30 to July 11 2025.
Carlos Miguel Soto to defend his licenciatura thesis at UBA – May 6, 2025
Carlos Miguel Soto defends his licenciatura thesis (eq M2) in Computer Science at Universidad de Buenos Aires.
Date: Tuesday, 6 May 2025
Time: 11:00 AM
Location: Pabellón 0+INF, Room to be confirmed
Thesis advisor: Alejandro Díaz-Caro (Centre Inria de l’Université de Lorraine & Universidad Nacional de Quilmes)
Jury members:
- Pablo Barenbaum (Universidad de Buenos Aires)
- Octavio Malherbe (Universidad de la República)
- Benoît Valiron (Université Paris-Saclay)
Title: On the Completeness of a Syntactically Linear Logic
Abstract: The LS calculus, an extension of the proof language of linear logic related to quantum computing, was given a concrete semantics in [DCM23]. In this thesis, we prove completeness results for this semantics with respect to computational equivalence. We introduce an operational semantics for LS and show its isomorphism with the categorical semantics under certain conditions. Moreover, we show that the category can be restricted to finitely generated semimodules, which possess better properties.
Edwin Pin defends his PhD thesis. May 6, 2025
Edwin Pin defends his PhD thesis in Mathematics at Universidad de Buenos Aires.
Title: Lógicas para razonar sobre grafos con datos / Logics for reasoning on data-graphs
Date: Tuesday, 6 May 2025
Time: 10:00 AM (GMT-3)
Location: Room 1604, 0+INF Building
YouTube Live Stream: https://youtube.com/live/6e82iE8-hco
Advisor: Santiago Figueira (Universidad de Buenos Aires)
Co-Advisor: Diego Figueira (Université de Bordeaux)
Jury members:
- Dr. Magdalena Ortiz (TU Wien, Austria)
- Dr. Flavia Bonomo (UBA & CONICET)
- Dr. Domagoj Vrgoc (PUC Chile)
Mariana Milicich visits Buenos Aires, April-May 2025
Mariana Milicich will be visiting the ICC at the Universidad de Buenos Aires from March 29 to June 1st, 2025, to collaborate with Pablo Barenbaum, founded by the MSCA-SE QCOMICAL project.
Rafael Romero visits Nancy, February-July, 2025
Rafael Romero (PhD student at Universidad de Buenos Aires) is visiting the Centre Inria de l’Université de Lorraine in Nancy to collaborate with Alejandro Díaz-Caro, funded by the MSCA-SE QCOMICAL project, from February to July 2025.