• Login

en fr

Navigation
  • About
      • Overview
      • Governance
      • Ecosystem
      • Members
      • Access
    • Back
  • Research
      • Research Groups
      • Publications
      • Proofs and Languages
        • Computer Arithmetics
        • Computation, Languages and Compilation
        • Proofs of Programs
        • Mechanised Proofs
      • Models
        • Distributed Computation
        • Model Checking and Synthesis
        • Critical Systems
        • Test and Monitoring
      • Interactions
        • Biology
        • Artificial Intelligence
        • Quantum Computation
        • Security
        • Topology
      • Joint Project Teams
        • Deducteam
        • Toccata
        • QuaCS
      • Collaborations
        • IRL ReLaX
        • LabCom ProofInUse
    • Back
  • News
      • All news
      • Calendar
      • Seminars
      • Awards and honors
  • Join us
      • Internship offers
  • Home

PhD

  • PhD Defense: Quentin Petitjean janvier 20, 2026
  • PhD Defense Gustave Cortal janvier 20, 2026

2025

  • PhD Defense: Julien Simonnet décembre 16, 2025
  • PhD Defense Marc Renard décembre 02, 2025
  • PhD Defense: Zhuofan Xu novembre 18, 2025
  • PhD Defence: Marin Costes novembre 17, 2025
  • PhD Defense: Josué Moreau novembre 17, 2025
  • PhD Defense: Luc Chabassier juillet 01, 2025
  • PhD Defense: Thomas Soullard juin 19, 2025
  • PhD Defence: Émilie Grienenberger janvier 27, 2025

2024

  • PhD Defence: Houda Mouhcine décembre 02, 2024
  • PhD Defence: Thiago Felicissimo septembre 03, 2024
  • PhD Defence: Nicolas Meric juin 24, 2024
  • PhD Defence: Isa Vialard juin 14, 2024
  • PhD Defence: Louis Lemonnier mai 22, 2024

2023

  • Soutenance de thèse : Olivier Stietel décembre 11, 2023
  • Soutenance de thèse : Alexandrina Korneva décembre 06, 2023
  • Soutenance de thèse : Antoine Lanco décembre 06, 2023
  • PhD Defence: Xavier Denis décembre 06, 2023
  • Soutenance de thèse : Nathan Thomasset décembre 05, 2023

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:05