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
  • 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
    • Initiatives et innovations pédagogiques
    • Formation continue
  • Admission
    • SUR 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
    • Startups affiliées
    • Stages et emplois
    • Taxe d'apprentissage
    • Location d'espaces
    • Mécénat d'entreprise

Profile menu

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

LMF - Laboratoire Méthodes Formelles

LMF - Laboratoire Méthodes Formelles

Actualités

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...
Charlie Jacomme, accessit du prix de thèse Gilles Kahn 2021

Charlie Jacomme, accessit du prix de thèse Gilles Kahn 2021

26/01/2022
Le prix de thèse Gilles Kahn, décerné par la SiF et patronné par l’Académie des Sciences, récompense...
Protection de la vie privée : sécurité informatique © geralt - Licence CC0

Protection de la vie privée : vers une analyse formelle et automatisée

08/12/2017
La société de l'information dans laquelle nous vivons repose notamment sur notre capacité à échanger...

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

  • Contact
  • Emploi
  • Presse
  • Mentions légales
  • Vos données
  • Cookies
  • Intranet