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


Looking for older posts?

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

View Full Archive