PARTOUT (SR0887MR)

Automatisation et ReprésenTation: fOndation du calcUl et de la déducTion

PARSIFAL (SR0140OR) →  PARTOUT

Statut: Décision signée

Responsable : Lutz Strassburger

Mots-clés de "A - Thèmes de recherche en Sciences du numérique - 2023" : A2.1. Langages de programmation , A2.2. Compilation , A2.4. Méthodes formelles pour vérification, sureté, certification , A4.5. Méthodes formelles pour la sécurité , A7.2. Logique , A7.2.1. Procédures de décision , A7.2.2. Déduction automatique , A7.2.3. Assistants de preuve , A7.2.4. Formalisation mécanisée des mathématiques , A7.3.1. Modèles de calcul et calculabilité , A8.1. Mathématiques discrètes, combinatoire , A8.11. Théorie des jeux

Mots-clés de "B - Autres sciences et domaines d'application - 2023" : B6.1. Industrie du logiciel

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

Période : 01/12/2019 -> 31/12/2024
Dates d'évaluation :

Etablissement(s) de rattachement : CNRS, IP-PARIS
Laboratoire(s) partenaire(s) : LIX (UMR7161)

CRI : Centre Inria de Saclay
Localisation : Centre de recherche Inria de Saclay
Code structure Inria : 111095-0

Numéro RNSR : 201923495K
N° de structure Inria: SR0887MR

Présentation

Axes de recherche

Relations industrielles et internationales