Passer vers le contenu

Interoperable and Confident Set-based Proof Assistants

- English
- Français

Passer vers le contenu

Accueil
Partenaires
Publications
- English
- Français
Search for:

Home Partenaires

Partenaires

Le projet ICSPA est soutenu par l’agence ANR et les partenaires sont :

SAMOVAR
INRIA Nancy
INRIA Paris-Saclay
IRIT
LIRMM
CLEARSY

This text can be changed from the Miscellaneous section of the settings page.
Lorem ipsum dolor sit amet, consectetur adipiscing elit, cras ut imperdiet augue.

Fonctionne avec Nirvana & WordPress. Mentions légales & CGU & Politique de confidentialité & Cookies

Nous utilisons des cookies pour vous offrir la meilleure expérience sur notre site.

You can find out more about which cookies we are using or switch them off in .

Powered by GDPR Cookie Compliance

Résumé de la politique de confidentialité

Ce site utilise des cookies afin que nous puissions vous fournir la meilleure expérience utilisateur possible. Les informations sur les cookies sont stockées dans votre navigateur et remplissent des fonctions telles que vous reconnaître lorsque vous revenez sur notre site Web et aider notre équipe à comprendre les sections du site que vous trouvez les plus intéressantes et utiles.

Cookies strictement nécessaires

Cette option doit être activée à tout moment afin que nous puissions enregistrer vos préférences pour les réglages de cookie.

Activer ou désactiver les cookies Activé Désactivé