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 - 2023" : A2.1.4. Programmation fonctionnelle , A2.1.11. Langages de preuve , A2.4.3. Preuves , A3.1.1. Modélisation, représentation , A7. Informatique théorique , A7.2. Logique

Mots-clés de "B - Autres sciences et domaines d'application - 2023" : B7. Transport et logistique

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

Période : 01/01/2017 -> 31/12/2024
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