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)