Skip to content

International Research Project SINFIN

  • Home
  • History
  • Co-publications
  • Bilateral projects
  • Members
    • Members and teams
    • Former PhD Students
  • Research

Category: Project

A new STIC-AmSud project 2020-2022

Posted on December 17, 2019December 10, 2020Author Sergio AbriolaCategories ProjectTags Project

STIC-Amsud project “DyLo-MPC – Dynamic Logics: Model Theory, Proof Theory and Computational Complexity”. Director: Carlos Areces (UNC & CONICET). Local directors: Stéphane Demri (LSV. Paris Saclay, France), Mario Benevides (UFRJ, Brazil). Período: 2020-2022

Systèmes, vérIfication, iNformatique Fondamentale, logIque, laNgages


Sistemas, lógIca, leNguajes,
Fundamentos de la computacIón, verificacióN

International Research Project

Recent Posts

  • Carlos Miguel Soto to defend his licenciatura thesis at UBA – May 6, 2025
  • Edwin Pin defends his PhD thesis. May 6, 2025
  • Mariana Milicich visits Buenos Aires, April-May 2025
  • Rafael Romero visits Nancy, February-July, 2025
  • Pablo Rotondo visits Buenos Aires, July-August, 2025

Archives