IRN CLoVE

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

Activités

Liste de diffusion

Si vous êtes intéressé par les activités de l’IRN, vous pouvez souscrire à la liste de diffusion CLoVe.

Institutions impliquées

Danemark

France