BASTRI - Fiches Equipes
Base des structures de recherche Inria
Base des structures de recherche Inria
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
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.
La position est calculée automatiquement avec les informations dont nous disposons. Si la position n'est pas juste, merci de fournir les coordonnées GPS à web-dgds@inria.fr