Skip to content

International Research Project SINFIN

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

DL(R) 2025 Workshop – September 2025

Posted on September 16, 2025Author Editorial teamCategories Uncategorized

The STIC-AMSUD 23-STIC-07 Dynamic Logics Reloaded had a 2nd Workshop at  Instituto de Ingeniería Matemática y Computacional, Universidad Católica de Chile.
It is taking place from September 15 to 17, and gathered researchers from Argentina, France, Chile, and Brazil.
More information in the official website: https://sites.google.com/unc.edu.ar/dlr-2025-workshop/home

Post navigation

Previous Previous post: 1st QCOMICAL School – November 2025
Next Next post: Eda Cesaratto visits France, October 2025

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


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

International Research Project

Recent Posts

  • Frédéric Paccaut and Loïck Lhote visits Buenos Aires, October 2025.
  • Closing days of the STIC AmSud EPAA, October 2025
  • Eda Cesaratto visits France, October 2025
  • DL(R) 2025 Workshop – September 2025
  • 1st QCOMICAL School – November 2025

Archives