Skip to content

International Research Project SINFIN

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

Lutz Strassburger visits Córdoba, September 2024

Posted on October 15, 2024Author Editorial teamCategories Uncategorized

Lutz Strassburger (Inria Saclay) visits FAMAF-UNC, from Sept 23 to Oct 3, to work with Carlos Areces.

Post navigation

Previous Previous post: Eda Cesaratto visits Paris, September 2024

Next Next post: STIC-AMSUD “Dynamic Logics Reloaded” Workshop at Córdoba, September/October 2024

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

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

International Research Project

Search for:

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

Archives