• Connexion

en fr

Navigation
  • Laboratoire
      • Présentation
      • Gouvernance
      • Éco-système
      • Annuaire
      • Accès
    • Back
  • Recherche
      • Pôles et Thèmes
      • 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
  • Actualités
      • Toutes les actualités
      • Agenda
      • Séminaires
      • Prix et distinctions
  • Rejoignez-nous
      • Internship offers
  • Accueil

Soutenance

2023

  • PhD Defence: Xavier Denis décembre 06, 2023
  • PhD Defence: Georges Aazan octobre 05, 2023
  • Soutenance de thèse : Clément Pascutto octobre 03, 2023
  • PhD Defence: Benjamin Bordais octobre 02, 2023
  • Soutenance de thèse : Aliaume Lopez septembre 08, 2023
  • Soutenance de thèse : Rébecca Zucchini juin 28, 2023
  • PhD Defence: Pierre Vandenhove avril 05, 2023
  • PhD Defence: Agustín Borgna janvier 11, 2023
  • PhD Defence: Kostia Chardonnet janvier 09, 2023

2022

  • PhD Defence: Glen Mével décembre 04, 2022
  • PhD Defence: Amrita Suresh novembre 28, 2022
  • PhD Defence: Mathieu Hilaire novembre 28, 2022
  • PhD Defence: Gabriel Hondet septembre 19, 2022
  • PhD Defence: Dongho Lee juillet 20, 2022
  • PhD Defence: Lulu He mai 10, 2022
  • PhD Defence: Igor Khmelnitsky janvier 22, 2022
  • Soutenance de thèse : Quentin Garchery janvier 06, 2022

2021

  • Habilitation Defense: Matthias Függer décembre 21, 2021
  • PhD Defense: Yaëlle Vinçont décembre 13, 2021
  • PhD Defense: Jawher Jerray décembre 10, 2021
  • PhD Defense: Mathilde Boltenhagen octobre 21, 2021
  • PhD Defense: Anirban Majumdar septembre 30, 2021
  • PhD Defense: Yacine El Haddad septembre 09, 2021
  • PhD defense : Jury Kolčák juillet 06, 2021
  • Soutenance de thèse: Gaspard Férey juin 30, 2021
  • PhD Defense: Gaspard Férey juin 30, 2021
  • PhD defense Diane Gallois-Wong mars 04, 2021

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-06-21@11:09