Computer Science Laboratory Sorbonne Université - CNRS UMR 7606

LIP6 supports the Pink October campaign for breast cancer awareness.

2006以来专题研讨会及会议

MoVe

2027

2027-1-12: [Séminaire MoVe]

2026

2026-12-8: [Séminaire MoVe] Adel Noureddine (MoVe, LIP6) : Projet Eco Design (Approches centrées sur l’humain pour la conception d’objets numériques plus soutenables)
2026-12-8: [Séminaire MoVe] Dylan Marinho (MoVe, LIP6) : Projet BINTRACE (Traçabilité et Validation de Binaires)
2026-11-10: [Séminaire MoVe] Pablo Hardouin (MoVe, LIP6)
2026-10-13: [Séminaire MoVe] Thaïs Milleret (MoVe, LIP6)
2026-6-19: [Séminaire MoVe] Zélie van der Meer (MoVe, LIP6) : Synthèse de paramètres pour l'analyse de propriétés d'opacité
2026-6-19: [Séminaire MoVe] Liam Prorovner (MoVe, LIP6) : Smart and Autonomous Application Categorization
2026-6-19: [Séminaire MoVe] Ronald FAGBEHOURO (Télécom Sud Paris) : Budgétisation des ressources dans les systèmes logiciels : modèles, instrumentation et perspectives
2026-5-22: [Séminaire MoVe] Fanuel Mehari (MoVe, LIP6) : Analyse et réparation dans les chaînes d’approvisionnement logicielles
2026-5-7: [Séminaire MoVe] Yann Thierry-Mieg (MoVe, LIP6) : Modélisation et vérification de systèmes complexes.
2026-4-15: [Séminaire MoVe] Jalil Boukhobza (ENSTA, IPP) : Gestion de ressources et optimisation des systèmes de stockage
2026-4-10: [Séminaire MoVe] Souheib Baarir (MoVe, LIP6) : Parallel and Domain-Aware SAT Solving: Application to Blockchain Analysis
2026-4-3: [Séminaire MoVe] Five Structural Problems of Large-Scale Software in Industry
2026-2-20: Conformance checking in time-aware process models
2026-1-23: Les 20 ans de MeFoSyLoMa
2026-1-16: Séminaire LLM

2024

2024-6-7: Le savoir est une arme !
2024-6-7: Safety Verification of Wait-Only Non-Blocking Broadcast Protocols

2017

2015

2014

2014-9-18: Well-structured pushdown systems
2014-9-18: Dealing with Dynamicity in Ambient Systems: A Formal Planning Approach.
2014-6-24: From Symmetric Nets to Symmetric Nets with Bags
2014-6-16: Journées annuelles du GT VERIF, du GT FORWAL et workshop de clôture du projet ANR ImpRo

2013

2013-6-25: Journée MDDay
2013-6-13: Adding Spreadsheets to the MDE Toolkit
2013-1-18: Méthodes Formelles pour les Systèmes Logiciels et Matériels

2012

2012-10-12: Méthodes Formelles pour les Systèmes Logiciels et Matériels
2012-8-27: 18^th International Conference on Formal Methods (FM 2012)
2012-7-25: Algorithmic improvements for graph games
2012-6-25: Model Checking Contest at PETRI NETS 2012
2012-3-22: Vérification de protocoles de sécurité et détection d'intrusion
2012-1-10: Efficient Static Analysis of Dynamical Properties using the Process Hitting

2011

2011-9-30: Méthodes Formelles pour les Systèmes Logiciels et Matériels
2011-4-5: On model checking concurrent recursive programs
2011-3-15: Contraintes sur le temps logique dans la conception de systèmes embarqués.
2011-1-11: Méthodes Formelles pour les Systèmes Logiciels et Matériels

2010

2010-12-17: Méthodes Formelles pour les Systèmes Logiciels et Matériels
2010-11-5: Méthodes Formelles pour les Systèmes Logiciels et Matériels
2010-10-5: Synthèse distribuée
2010-6-18: Méthodes Formelles pour les Systèmes Logiciels et Matériels
2010-6-15: Sixth European Conference on Modelling Foundations and Applications
2010-5-21: Méthodes Formelles pour les Systèmes Logiciels et Matériels
2010-3-9: The General Vector Addition System Reachability Problem by Presburger Inductive Invariants
2010-2-26: Weak Time Petri Nets Strike Back!

2009

2009-8-31: Ecole d'été Temps Réel
2009-6-22: International Conference on Application and Theory of Petri Nets and other Models of Concurrency
2009-1-23: Méthodes Formelles pour les Systèmes Logiciels et Matériels

2008

2007

2007-11-16: Méthodes Formelles pour les Systèmes Logiciels et Matériels
2007-10-5: Méthodes Formelles pour les Systèmes Logiciels et Matériels
2007-4-5: Model-checking temporisé
2007-3-9: Méthodes Formelles pour les Systèmes Logiciels et Matériels
2007-1-19: Méthodes Formelles pour les Systèmes Logiciels et Matériels

2006

2006-10-16: Composition of Embedded Systems: Scientific and Industrial Issues
2006-10-6: Méthodes Formelles pour les Systèmes Logiciels et Matériels
2006-6-20: 1^st Rutgers / Pierre et Marie Curie Workshop
2006-5-12: Méthodes Formelles pour les Systèmes Logiciels et Matériels
2006-4-28: Developing a Model E-commerce Agent System
2006-3-24: Méthodes Formelles pour les Systèmes Logiciels et Matériels
2006-3-17: Développement de systèmes informatiques par assemblage de composants métier sur étagère
2006-1-20: Méthodes Formelles pour les Systèmes Logiciels et Matériels