Title: On the Completeness of a Syntactically Linear Logic

Abstract: The L^S 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 L^S 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 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 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 (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.

Pablo Rotondo visits DC/ICC University of Buenos Aires, July 27 to August 8, 2025. He will give the course on Probabilistic Analysis of Algorithms at Escuela de Ciencias Informáticas, and then  work with Eda Cesaratto and other members of the KAPOW group.

Verónica Becher visits IRIF, Université Paris Cité  to work with Olivier Carton, from April 13-20, 2025.

Delia Kesner will be visiting the ICC at the Universidad de Buenos Aires from March 24 to April 23, 2025, to collaborate with Pablo Barenbaum.

Pablo Rotondo (Université Gustave Eiffel) will give the course on Probabilistic Analysis of Algorithms, in Escuela de Ciencias Informáticas, Departamento de Computación, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires, July 28th to August 1st, 2025.

Verónica Becher visits IRIF from April 14 to April 28, to work with Olivier Carton. They will also participate in Workshop Uniform Distributions of Sequences at the Erwin Schrödinger Institute in Vienna.

Verónica Becher is rapporteur de thèse de Renan Laureti, entitled “Numération dynamique réelle, nombres de Parry et construction de nombres normaux” Université de Lorraine, to be defended in March 2025.