• Login

en fr

Navigation
  • About LMF
  • Research
      • 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
        • Mexico
        • Toccata
        • QuaCS
      • Collaborations
        • IRL ReLaX
        • LabCom ProofInUse
    • Back
  • Events
  • Opportunities
  • Members
  • Home

Stage M 2

2022

  • Faithful Nash equilibria in games over graphs November 09, 2022
  • Synthesizing coalition strategies in parameterized concurrent games November 02, 2022
  • Graphical Language for Clifford Hermiticians in Quantum Computing October 14, 2022

2021

  • Synchronization in Stochastic Games December 14, 2021
  • Génération de simulations automobile à partir d’un modèle formel December 09, 2021
  • Génération de simulations d'automobiles autonomes à partir d’un modèle formel December 09, 2021
  • Quantum Networks Theory November 03, 2021
  • Quantum networks theory November 03, 2021
  • Deciding the Logic of Subsequences April 27, 2021
  • Specification and Verification of Properties of Neural Networks April 04, 2021
  • Observe locally, control globally April 03, 2021

LMF Resources

  • ShowRoom
  • Sandbox
  • Recent Changes

Help

  • Basic Editing
  • Text Formatting
  • Documentation Index
  • PmWiki FAQ

Contact

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

Phone: +33 (0)1 81 87 54 50

Mail : lmf-contact@lsv.fr

Follow us

Legal Notice

Page last modified on 2021-04-03@19:58