Rapport d’évaluation FR

LACL - Laboratoire d'algorithmique, complexité et logique

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

Campagne d'évaluation : 2018-2019 (vague E) - Publié le : 05/06/2019

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

Domaine(s) disciplinaire(s) de recherche : Sciences et technologie (ST)

Domaine(s) scientifique(s) : 9 - Sciences et technologies de l'information et de la communication ; 1 - Mathématiques et leurs interactions

Panel(s) ERC : PE6 Computer science and informatics: informatics and information systems, computer science, scientific computing, intelligent systems

Mot(s) clé(s) : Logique ; Modèles de calculs ; Dynamique symbolique ; Spécification et vérification formelles ; Théorie des jeux

Télécharger le fichier

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

(181.52 Ko) PDF