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


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

International Research Project

CNRS, Université de Paris, CONICET, Universidad de Buenos Aires

Latest news

Cristian Sottile defends his PhD thesis, July 2026

Cristian Sottile defends his PhD thesis at Universidad de Buenos Aires advised by Alejandro Díaz-Caro (Inria, Nancy) and Pablo E. Martínez López (Universidad Nacional de Quilmes) on July 3, 2026.


Looking for older posts?

You can browse all our previous news and events in the full archive.

View Full Archive