Skip to content

International Research Project SINFIN

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

FSCD 2021 to be held at Buenos Aires

Posted on July 15, 2019July 15, 2019Author Editorial teamCategories Uncategorized

The ICC (Instituto de Ciencias de la Computación- CONICET/ Universidad de Buenos Aires) will organize the 2021 edition of the International Conference on Formal Structures for Computation and Deduction.

Post navigation

Previous Previous post: Beniamino Accattoli gives a couse at ECI founded by INRIA ( July 2019)
Next Next post: Robin Pelle visits Córdoba, August-September 2019

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