L’objectif principal de l’IRN CLoVe (Complexité, Logique, et Vérification) est de fédérer et de renforcer les coopérations individuelles établies entre les équipes françaises et danoises dans les domaines d’expertise suivants : spécification et vérification formelles, logique et complexité. Au-delà du renforcement des collaborations actives existantes entre les deux pays au sein de chaque thème individuel, il s’agira d’exploiter la synergie du consortium pour faire progresser les interactions entre celles-ci, et éventuellement en créer de nouvelles.
Des exemples de points d’interaction naturels entre les groupes sont : les méthodes algébriques dans la vérification et la complexité, les approches logiques de la complexité informatique, les analyses et les preuves formelles des systèmes probabilistes.
Coordinateur : Thomas Seiller
Institutions impliquées
Danemark
- Department of Computer Science, University of Copenhagen
- Department of Computer Science, University of Aarhus
- Department of Applied Mathematics and Computer Science, Technical University of Denmark
- Department of Computer Science, IT University Copenhagen
France
- Laboratoire d’Informatique de Paris Nord (LIPN), UMR7030
- Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), UMR7503
- Institut de Recherche en Informatique Fondamentale (IRIF), UMR8243
- Institut de Mathématiques de Jussieu-Paris Rive Gauche (IMJ-PRG), UMR7586
- Laboratoire de Mathématiques de l’Université Savoie Mont Blanc (LAMA), UMR5127