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
Liste de diffusion
Si vous êtes intéressé par les activités de l’IRN, vous pouvez souscrire à la liste de diffusion CLoVe.
Danemark
France