Evaluation reports
FR
LACL - Laboratoire d'algorithmique, complexité et logique
Type: Research unit evaluation report
Evaluation campaign: 2018-2019 (group E)
- Published on: 05/06/2019
Institution(s) concerned:
Université Paris-Est Créteil Val de Marne - UPEC
Disciplinary research field: Science and Technology (ST)
Scientific field(s): 9 - Sciences et technologies de l'information et de la communication ; 1 - Mathématiques et leurs interactions
ERC panel(s): PE6 Computer science and informatics: informatics and information systems, computer science, scientific computing, intelligent systems
Keywords: Logique ; Modèles de calculs ; Dynamique symbolique ; Spécification et vérification formelles ; Théorie des jeux