Table des matières

• Message du directeur
• Présentation de l'unité
  • Conseil de Laboratoire au 1er janvier 1997
  • Equipes de recherche 1994-1997
    • Groupe de Recherche en Complexité et Cryptographie
    • Lambda-calcul typé et langages fonctionnels
    • Sémantique et Interprétation Abstraite
    • Langages Logiques, Contraintes et Optimisation
    • Optimisation et Algorithmique Géométriques
      Géométrie, Combinatoire et Algorithmes
    • Logique et Physique
    • Spécifications algébriques et Programmation logique 1990-1996
• Activité scientifique des équipes
  • Groupe de Recherche en Complexité et Cryptographie
    • Théorie de la complexité : Preuves Interactives et Approximation des problèmes -complets
    • Théorie algorithmique des nombres et théorie des codes correcteurs d'erreurs
      • Factorisation des nombres entiers
      • Algorithmique sur les réseaux à coordonnés entières
      • Calculs explicites d'objets mathématiques complexes
      • Calculs du nombre de points d'une courbe elliptique
      • Théorie des codes
      • Corps finis
    • Cryptographie à clé publique
      • Chiffrement à clé publique
      • Signature
      • Procédés d'identification
      • Preuves de sécurité
      • Génération déterministe d'aléas
      • Analyse cryptographique
    • Cryptographie Conventionnelle
      • Fonctions de hachage
      • Chiffrement symétrique
      • Approche théorique de la cryptographie conventionnelle
      • Protocoles cryptographiques
    • Cryptographie appliquée
    • Cryptographie quantique
    • Perspectives
      • Amélioration des procédés de signature
      • Recherche de nouveaux systèmes cryptographiques
      • Étude de la sécurité de RSA pour les exposants publics petits
  • Lambda-calcul typé et langages fonctionnels
    • Introduction
    • Programmation fonctionnelle et orientée-objet
    • Développement de langages fonctionnels
    • Sémantique catégorique et théorie des domaines
    • Paramétricité
    • -calcul et parallélisme
    • Épistémologie et Cogniscience
    • Perspectives
  • Sémantique et Interprétation Abstraite
    • Introduction
      • Les modèles de sémantiques :
      • Les fondements de l'interprétation abstraite :
      • Les méthodes d'analyse et de manipulation de programmes par interprétation abstraite de sémantiques :
    • Sémantiques
      • Présentation de sémantiques et construction de hiérarchies de sémantiques par interprétation abstraite
      • Modèles du vrai parallélisme par automates de dimension supérieure
      • Hiérarchie de modèles du vrai parallélisme
    • Interprétation abstraite
      • Fondements de l'interprétation abstraite
      • Domaines abstraits pour l'analyse sémantique de programmes
        • Utilisation des BDDs en interprétation abstraite
        • Utilisation des langages formels, grammaires et contraintes ensemblistes en interprétation abstraite
        • Représentation des grammaires et contraintes ensemblistes en interprétation abstraite
    • Typage par interprétation abstraite
      • Élargissements pour le typage
      • Combinaison de l'analyse statique et du typage
      • Construction d'une hiérarchie de types par interprétation abstraite
    • Sémantiques abstraites
      • Analyse sémantique de programmes fonctionnels d'ordre supérieur par interprétation abstraite
      • Analyse de comportement par interprétation abstraite
      • Analyse sémantique de programmes logiques par interprétation abstraite
      • Analyse sémantique de programmes parallèles par interprétation abstraite
      • Combinaison de l'interprétation abstraite
        et du model-checking
      • Logique temporelle et model-checking abstrait
      • Ordonnancement de programmes parallèles
      • Analyse de programmes parallèles stochastiques
      • Analyse sémantique de langages orientés objets par interprétation abstraite
    • Perspectives
  • Langages Logiques, Contraintes et Optimisation
    • Introduction
    • Concurrence
      • Programmation concurrente par contraintes et logique linéaire
      • Sémantique dénotationnelle de CC( )
      • Réseaux d'interaction
    • Négation
      • Négation constructive et logique tri-valuée
      • Optimisation
      • Théorie des modèles stables
    • Typage et Ordre supérieur
      • Systèmes de réécriture d'ordre supérieur
      • Typage statique de CLP/CC( ) et méta-programmation
    • Algorithmique des contraintes
      • Contraintes sur les algèbres de termes
      • Contraintes sur les domaines finis
    • Modèles d'exécution réactifs et distribués
    • Optimisation combinatoire
      • Cartographie de la programmation par contraintes
      • Algorithmes hybrides
      • Autres applications
    • Développements logiciels
      • CLAIRE
      • Un système CLP( ) au dessus de Prolog
      • CC( )
    • Perspectives
  • Optimisation et Algorithmique Géométriques
  • Logique et Physique
  • Spécifications algébriques et Programmation logique
    • Introduction
    • Spécifications algébriques : modularité et observabilité
    • Programmation logique et fonctionnelle
    • Validation des programmes logiques
    • Perspectives
• Eléments d'appréciation de l'activité du laboratoire
  • Collaborations
    • Groupe de Recherche en Complexité et Cryptographie
    • Lambda-calcul typé et langages fonctionnels
    • Sémantique et Interprétation Abstraite
    • Langages Logiques, Contraintes et Optimisation
    • Logique et Physique
    • Spécifications algébriques et Programmation logique
  • Missions, conférences et séminaires
    • Groupe de Recherche en Complexité et Cryptographie
    • Lambda-calcul typé et langages fonctionnels
    • Sémantique et Interprétation Abstraite
    • Langages Logiques, Contraintes et Optimisation
    • Logique et Physique
    • Spécifications algébriques et Programmation logique
  • Accueil de chercheurs
    • Groupe de Recherche en Complexité et Cryptographie
    • Lambda-calcul typé et langages fonctionnels
    • Sémantique et Interprétation Abstraite
    • Langages Logiques, Contraintes et Optimisation
    • Spécifications algébriques et Programmation logique
  • Diffusion de la connaissance
    • Groupe de Recherche en Complexité et Cryptographie
    • Lambda-calcul typé et langages fonctionnels
    • Sémantique et Interprétation Abstraite
    • Langages Logiques, Contraintes et Optimisation
    • Logique et Physique
    • Spécifications algébriques et Programmation logique
  • Réalisation et diffusion de logiciels, brevets
    • Groupe de Recherche en Complexité et Cryptographie
    • Lambda-calcul typé et langages fonctionnels
    • Sémantique et Interprétation Abstraite
    • Langages Logiques, Contraintes et Optimisation
  • Participations à l'évaluation de la recherche
    • Groupe de Recherche en Complexité et Cryptographie
    • Lambda-calcul typé et langages fonctionnels
    • Sémantique et Interprétation Abstraite
    • Langages Logiques, Contraintes et Optimisation
    • Logique et Physique
    • Spécifications algébriques et Programmation logique
  • Encadrement doctoral
    • Direction de thèses
    • Participation à d'autres jurys de thèses
    • Direction de DEA
  • Enseignement
    • 2cycle
    • 3cycle
• Publications
• Annexes
  • Personnels
    • Effectifs des personnels au 1er janvier 1997
    • Personnels entrés
    • Personnels sortis
  • Budget
    • Ressources publiques hors salaires
    • Coûts salariaux
    • Ressources contractuelles
    • Budget consolidé
  • Création du thème "systèmes reconfigurables"
    • Travaux récents
    • Projets à l'École Normale
    • Références
  • Création du thème "Géométrie, Combinatoire et Algorithmes"
    • Activité scientifique
      • Introduction.
      • Géométrie algorithmique.
      • Programmation en nombres entiers, programmation semidéfinie et algorithmes approchés.
      • Problèmes de complétion de matrices.
      • Optimisation dans les matroides.
      • Problèmes de combinatoire et géométrie.
      • Perspectives.
    • Eléments d'appréciation de l'activité
      • Collaborations
      • Missions, conférences et séminaires
      • Accueil de chercheurs
      • Diffusion de la connaissance
      • Réalisation et diffusion de logiciels, brevets
      • Participations à l'évaluation de la recherche
      • Encadrement doctoral
        • Direction de DEA
      • Enseignement
    • Références
  • Note du responsable du thème Optimisation et Algorithmique Géométriques