Rapport d’évaluation FR

LACL - Laboratoire d'algorithmique, complexité et logique

Type : Rapport d’évaluation des unités de recherche

Campagne d'évaluation : 2013-2014 (vague E) - Publié le : 03/05/2014

Établissement(s) concerné(s) : Université Paris-Est Créteil Val de Marne - UPEC

Domaine(s) disciplinaire(s) de recherche : Sciences et technologie (ST) ; ST6 Sciences et technologies de l'information et de la communication - STIC

Domaine(s) scientifique(s) : 9 - Sciences et technologies de l'information et de la communication

Nom des équipes de l'unité : E 1 : Logique, Calcul et Programmation,E2 : Spécification et Vérification de Systèmes

Télécharger le fichier

Rapport Hcéres - LACL - Laboratoire d'algorithmique\, complexité et logique

(222.99 Ko) PDF