• Connexion

en fr

Navigation
  • Présentation
  • Recherche
      • Pôles et Thèmes
      • Séminaires
      • Publications
      • Preuve et langages
        • Arithmétique des ordinateurs
        • Calcul, langages et compilation
        • Preuve de programmes
        • Preuve mecanisée
      • Modèles
        • Concurrence et distribué
        • Model-checking et synthèse
        • Systèmes critiques
        • Test et monitoring
      • Interactions
        • Biologie
        • Intelligence artificielle
        • Quantique
        • Sécurité
        • Topologie
      • Equipes-projets
        • Deducteam
        • Toccata
        • QuaCS
      • Collaborations
        • IRL ReLaX
        • LabCom ProofInUse
    • Back
  • Événements
  • Opportunités
  • Annuaire
  • Accueil

Recherche

La recherche au LMF est structurée en trois pôles, chaque pôle étant lui-même organisé en thématiques :

  • Pôle "Preuves et langages"
    • Fondements du calcul, langages et compilation
    • Méthodes formelles pour l'arithmétique des ordinateurs
    • Preuve de programmes
    • Preuve mécanisée
  • Pôle "Modèles"
    • Concurrence et distribué
    • Model-checking et synthèse
    • Modélisation formelle des systèmes critiques
    • Test formel et monitoring
  • Pôle "Interactions"
    • Topologie et applications en informatique
    • Méthodes formelles pour la sécurité
    • Méthodes formelles pour l'informatique quantique
    • Méthodes formelles pour la biologie
    • Méthodes formelles pour l'intelligence artificielle

Par ailleurs, le LMF héberge trois EPC Inria : Deducteam, Mexico, Toccata

Contact

LMF - Laboratoire Méthodes Formelles
Université Paris-Saclay, CNRS, ENS Paris-Saclay
4 avenue des Sciences
91190 Gif-sur-Yvette, France

Téléphone : +33 (0)1 81 87 54 50

Mail : contact@lmf.cnrs.fr

Access

  • Log in
  • Intranet

Mentions légales

Page last modified on 2021-11-19@20:49