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
JourneesLMF
2025
Séminaire au vert, Port Royal à Saint-Lambert, 2 – 3 juin 2025
mai 16, 2025
2024
Séminaire au vert, Saint-Rémy-lès-Chevreuse, 13 – 14 juin 2024
mai 17, 2024
2022
Séminaire au vert, Étiolles, 12 – 13 juin 2023
juin 02, 2022
Seminaire au vert, Étiolles, 9 – 10 juin 2022
juin 02, 2022