Algorithmique, programmation, logiciels et architectures
Preuves et vérification
- ANTIQUE - Analyse Statique par Interprétation Abstraite
- CAMBIUM - Langages de programmation : systèmes de types, concurrence, preuve de programme
- CELTIQUE - Certification de logiciel par analyse sémantique
- CONVECS - Construction de systèmes concurrents vérifiés
- DEDUCTEAM - DEDUCTEAM
- GALLINETTE - Gallinette : vers une nouvelle génération d'assistant à la preuve
- GALLIUM - Langages de programmation, types, compilation et preuves
- MARELLE - Mathématiques, Raisonnement et Logiciel
- MEXICO - Modeling and Exploitation of Interaction and Concurrency
- PARSIFAL - Recherche de preuve et raisonnement sur des spécifications logiques
- PI.R2 - Conception, étude et implémentation de langages pour les preuves et les programmes
- SUMO - SUpervision of large MOdular and distributed systems
- TOCCATA - Certified Programs, Certified Tools, Certified Floating-Point Computations
- VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
Rechercher une équipe
Par domaine
- Mathématiques appliquées, calcul et simulation
- Algorithmique, programmation, logiciels et architectures
- Réseaux, systèmes et services, calcul distribué
- Perception, Cognition, Interaction
- Santé, biologie et planète numériques
