Aller au contenu principal
Bibliothèque Scène de recherche Réseau normalien Soutenir l'École
  • EN
  • FR
Home
  • Bibliothèque
  • Scène de recherche
  • Réseau normalien
  • Soutenir l'École
  • L'École
    • Présentation de l'École
    • Une école engagée
    • Parcours inspirants
    • Organisation et gouvernance
    • Nos documents
    • L’École dans l’Université Paris-Saclay
    • Recrutement
    • Soutenir l'école
    • Venir à l'École
    • Location d'espaces
  • Formations
    • Départements
    • Diplôme ENS Paris-Saclay
    • Masters
    • Nos autres diplômes
    • Préparation à l'agrégation
    • Étudiants internationaux
    • Partir à l'étranger
    • Centre de langues
    • Engagement décennal
    • Retirer ses diplômes
    • Formation continue
  • Admission
    • CONCOURS
    • SUR DOSSIER
    • ADMISSION DIPLÔMES d'ÉTABLISSEMENT
    • Financer vos études
    • Témoignages d'élèves
    • Inscription et réinscription
  • Recherche
    • Laboratoires et instituts
    • Laboratoires internationaux
    • Doctorat
    • HDR
    • Parutions scientifiques
    • Mobilité scientifique
    • Médiateur intégrité scientifique
  • Campus
    • Notre campus
    • Se loger
    • Se restaurer
    • Faire du sport
    • Associations et clubs étudiants
    • Santé et prévention
    • Action sociale et aides financières
    • Patrimoine artistique
    • Ressources documentaires
    • Services
    • Formations documentaires
    • Dépôt de thèse
    • Prix littéraire
  • PARTENARIATS
    • Partenariats institutionnels
    • Collaborations industrielles
    • Stages et emplois
    • Taxe d'apprentissage
    • Mécénat d'entreprise

Profile menu

  • Vous êtes
    • Étudiant
    • Partenaire
    • Enseignant-chercheur
    • Entreprise
    • Alumni
    • En reprise d'études
    • Journaliste
  1. Home
  2. LMF - Laboratoire Méthodes Formelles

LMF - Laboratoire Méthodes Formelles

LMF - Laboratoire Méthodes Formelles

Actualités

Marie Duflot-Kremer, lauréate du prix Gilles Dowek 2026 - © Inria / Photo L’Œil créatif - C. Verdenal (2022)

Marie Duflot-Kremer, lauréate du prix Gilles Dowek 2026

08/06/2026
Ancienne élève du Département d’enseignement et de recherche (DER) Mathématiques-Informatique de l'E...
Gilles Dowek

L’ENS Paris-Saclay rend hommage à Gilles Dowek

22/07/2025
C’est avec regret que l'ensemble du personnel de l’École normale supérieure Paris-Saclay a appris le...
Interactions biologiques grâce à l’algorithmique distribuée

Améliorer la compréhension des interactions biologiques grâce à l’algorithmique distribuée

07/01/2025
Dans une étude récemment publiée dans la prestigieuse revue Nucleic Acids Research, une équipe de ch...
Gaspard FOUGEA, prix du jury de la finale M180s Université Paris-Saclay 2024

Gaspard FOUGEA, prix du jury de la finale M180s Université Paris-Saclay 2024

20/03/2024
Le prix du jury de la finale Ma thèse en 180 secondes de l’Université Paris-Saclay 2024 a été décern...
Finale MT180 2024 de l'Université Paris-Saclay - les deux lauréats entourés des finalistes et d'une de leurs formatrices © Univ. Paris-Saclay / Antonin Gros

Résultats de la finale Ma thèse en 180 secondes de l’Université Paris-Saclay 2024

15/03/2024
Toutes nos félicitations à Gaspard FOUGEA, doctorant au laboratoire Laboratoire Méthodes Formelles (...
Gilles DOWEK, lauréat 2023 du Prix Académie des sciences 2023

Gilles DOWEK, lauréat 2023 du "Grand prix Inria - Académie des sciences"

20/10/2023
Gilles DOWEK, chercheur en informatique chez Inria, enseignant au département d'enseignement et de r...

Contactez-nous

École normale supérieure Paris-Saclay
4, avenue des Sciences
91190 Gif-sur-Yvette
+ 33 1 81 87 50 00

Envoyez-nous un courriel

Suivez-nous

 Linkedin   Instagram  Facebook 
 
 

 

Un complexe universitaire de classe mondiale, un écosystème d’innovation majeur.

www.université-paris-saclay.fr

Partager

 Facebook  Linkedin  Rss

Footer menu

  • Presse
  • Mentions légales
  • Accessibilité
  • Vos données
  • Cookies
  • Intranet
  • Donnez votre avis