RA 1995     RA 1997
Suivant : Composition de l'équipe

Projet EURÉCA

Preuve, calcul symbolique et logique

Rapport d'activité 1996

Page de présentation du projet - Rapport d'activité au format PostScript

Localisation : Nancy (Projet commun à l'INRIA et au CRIN, URA 262 du CNRS et des universités Henri Poincaré Nancy 1, Nancy 2 et INPL.)

Mots-clés : lambda-calcul, logique, réécriture, expression régulière, preuve de programme, calcul symbolique, structure décomposable, génération aléatoire, jeu de test

• Composition de l'équipe
• Présentation du projet
• Actions de recherche
  • Algorithmique
    • Combinatoire
    • Arithmétique
    • Calcul symbolique
  • Preuve
    • Application de la déduction automatique aux protocoles de communication
    • Études des substitutions explicites et de leurs applications
    • Complexité de la déduction automatique
    • Logique, théorie de la démonstration
• Actions industrielles
  • Collaboration avec le CNET sur les formalisations et la preuve de protocoles
  • VIP et DYADE
• Actions nationales et internationales
  • Actions nationales
  • Actions internationales
    • Europe
      • Le Projet Européen Frisco LTR 21.042.
    • Afrique
    • Amérique
  • Actions d'enseignement
  • Participation à des colloques
    • GDR-PRC AMI.
  • Conférences invitées, tutoriels, cours, etc.
  • Animations scientifiques
  • Diffusion de logiciels
• Références
• Abstract