Détail d'une fiche   Version PDF

DEDUCTEAM (SR0774GR)

DEDUCTEAM

DEDUCTEAM (SR0479ER) →  DEDUCTEAM →  QUACS (SR0913XR)


Statut: Décision signée

Responsable : Frederic Blanqui (Par intérim)

Mots-clés de "A - Thèmes de recherche en Sciences du numérique - 2024" : A2.1.4. Programmation fonctionnelle , A2.1.11. Langages de preuve , A2.4.3. Preuves , A7. Informatique théorique , A7.2. Logique

Mots-clés de "B - Autres sciences et domaines d'application - 2024" : B6.1.1. Génie logiciel , B9.5.1. Informatique , B9.5.2. Mathématiques , B9.7. Diffusion du savoir , B9.7.1. Accès ouvert , B9.7.2. Données ouvertes , B9.8. Recherche reproductible

Domaine : Algorithmique, programmation, logiciels et architectures
Thème : Preuves et vérification

Période : 01/01/2017 -> 31/12/2028
Dates d'évaluation : 20/03/2019 ,

Etablissement(s) de rattachement : UNIV. PARIS-SACLAY
Laboratoire(s) partenaire(s) : LMF

CRI : Centre Inria de Saclay
Localisation : ENS Paris-Saclay - Laboratoire Méthodes Formelles (LMF)
Code structure Inria : 111075-1

Numéro RNSR : 201121007R
N° de structure Inria: SR0774GR

Présentation

Deducteam explore les applications de la théorie de la démonstration à la conception de cadres logiques, à l'interopérabilité entre systèmes de preuves et à a construction de bibliothèques mathématiques universelles.


Axes de recherche


Relations industrielles et internationales