• 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
        • Mexico
        • Toccata
        • QuaCS
      • Collaborations
        • IRL ReLaX
        • LabCom ProofInUse
    • Back
  • Événements
  • Opportunités
  • Annuaire
  • Accueil

Awards

2022

  • Best Process-Mining Dissertation Award for Mathilde Boltenhagen November 25, 2022
  • Prix Doctorants STIC du plateau de Saclay pour Pierre Vandenhove September 14, 2022
  • Philippe Schnoebelen receives LICS 2022 Test-of-Time Award July 30, 2022
  • LICS Test-of-Time Award pour Philippe Schnoebelen July 30, 2022
  • PLDI'22 Distinguished Paper Award for Xavier Denis, Jacques-Henri Jourdan July 05, 2022
  • ACM Software System Award for Jacques-Henri Jourdan / CompCert May 11, 2022
  • Science ouverte : Prix pour Coq February 18, 2022
  • Nouveau prix de thèse pour Charlie Jacomme February 07, 2022

2021

  • Ackermann Award for Marie Fortin November 08, 2021
  • Best-Paper Award at FMICS 2021 September 15, 2021
  • Best-Paper Award at ICTAC 2021 September 14, 2021
  • EATCS dissertation Award for Marie Fortin April 28, 2021
  • Actualité INS2I-CNRS sur Why3, le programme qui vérifie les programmes April 22, 2021
  • Two LMF teams winning at VerifyThis Competition April 04, 2021
  • Two LMF teams winning at VerifyThis Competition April 04, 2021
  • Prix de thèse du GDR Sécurité pour Charlie Jacomme March 29, 2021
  • Prix de thèse du GDR Sécurité pour Charlie Jacomme March 29, 2021
  • Renaud Vilmart - Il était une fois… ma thèse March 01, 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

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

Mail : lmf-contact@lsv.fr

Nous suivre

Mentions légales

Page last modified on 2021-03-29@16:34