Accueil du site > Europe et international > Laboratoires internationaux associés (LIA)




Recherchez sur ce site


LIA Infinis en Argentine

Les recherches menées dans le cadre du laboratoire Informatique Fondamentale, Logique, Langages, Vérification et Systèmes (Infinis) portent sur l’utilisation de méthodes formelles dans la mise en oeuvre de théories et d’outils automatiques servant à la modélisation, la vérification et le développement de logiciels complexes.

Créé en 2011, Infinis associe le CNRS, l’Université Paris Diderot, le Consejo Nacional de Investigaciones Científicas y Técnicas (CONICET) et l’Université de Buenos Aires.

Mots-clés : informatique fondamentale, Logique, Langages, Vérification et Systèmes

Voir aussi : Signature de renouvellement du LIA INFINIS