The main goal of IRN CLoVe (Complexity, Logic, and Verification) is to federate and strengthen established individual cooperations between French and Danish teams in the following areas of expertise: formal specification and verification, logic, and complexity. Beyond reinforcing the existing active collaborations between the two countries within each individual topic, its aim will be to exploit the synergy of the consortium to advance interactions between those, and possibly create new one.
Exemples of natural points of interaction between the groups are: algebraic methods in verification and complexity, logic-based approaches to computational complexity, analyses and formal proofs of probabilistic systems.
Coordinator: Thomas Seiller
Involved institutions
Denmark
- 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