• Login

en fr

Navigation
  • About LMF
  • Research
      • Research Groups
      • Seminars
      • Publications
      • Proofs and Languages
        • Computer Arithmetics
        • Computation, Languages and Compilation
        • Poofs of Programs
        • Mechanised Proofs
      • Models
        • Distributed Computation
        • Model Checking and Synthesis
        • Critical Systems
        • Test and Monitoring
      • Interactions
        • Biology
        • Artificial Intelligence
        • Quantum Computation
        • Sécurity
        • Topology
      • Joint Project Teams
        • Deducteam
        • Toccata
        • QuaCS
      • Collaborations
        • IRL ReLaX
        • LabCom ProofInUse
    • Back
  • Events
  • Opportunities
  • Members
  • Home

Soutenance

2023

  • PhD Defence: Xavier Denis December 06, 2023
  • PhD Defence: Georges Aazan October 05, 2023
  • Soutenance de thèse : Clément Pascutto October 03, 2023
  • PhD Defence: Benjamin Bordais October 02, 2023
  • Soutenance de thèse : Aliaume Lopez September 08, 2023
  • Soutenance de thèse : Rébecca Zucchini June 28, 2023
  • PhD Defence: Pierre Vandenhove April 05, 2023
  • PhD Defence: Agustín Borgna January 11, 2023
  • PhD Defence: Kostia Chardonnet January 09, 2023

2022

  • PhD Defence: Glen Mével December 04, 2022
  • PhD Defence: Amrita Suresh November 28, 2022
  • PhD Defence: Mathieu Hilaire November 28, 2022
  • PhD Defence: Gabriel Hondet September 19, 2022
  • PhD Defence: Dongho Lee July 20, 2022
  • PhD Defence: Lulu He May 10, 2022
  • PhD Defence: Igor Khmelnitsky January 22, 2022
  • Soutenance de thèse : Quentin Garchery January 06, 2022

2021

  • Habilitation Defense: Matthias Függer December 21, 2021
  • PhD Defense: Yaëlle Vinçont December 13, 2021
  • PhD Defense: Jawher Jerray December 10, 2021
  • PhD Defense: Mathilde Boltenhagen October 21, 2021
  • PhD Defense: Anirban Majumdar September 30, 2021
  • PhD Defense: Yacine El Haddad September 09, 2021
  • PhD defense : Jury Kolčák July 06, 2021
  • Soutenance de thèse: Gaspard Férey June 30, 2021
  • PhD Defense: Gaspard Férey June 30, 2021
  • PhD defense Diane Gallois-Wong March 04, 2021

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 : contact@lmf.cnrs.fr

Access

  • Log in
  • Intranet

Legal Notice

Page last modified on 2021-06-21@11:09