Laboratoire d’informatique Sorbonne Université - CNRS UMR 7606

Le LIP6 soutient la campagne Octobre Rose de prévention contre le cancer du sein

Archive

MoVe

2027

12/01/2027: [Séminaire MoVe]

2026

08/12/2026: [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)
08/12/2026: [Séminaire MoVe] Dylan Marinho (MoVe, LIP6) : Projet BINTRACE (Traçabilité et Validation de Binaires)
10/11/2026: [Séminaire MoVe] Pablo Hardouin (MoVe, LIP6)
13/10/2026: [Séminaire MoVe] Thaïs Milleret (MoVe, LIP6)
19/06/2026: [Séminaire MoVe] Zélie van der Meer (MoVe, LIP6) : Synthèse de paramètres pour l'analyse de propriétés d'opacité
19/06/2026: [Séminaire MoVe] Liam Prorovner (MoVe, LIP6) : Smart and Autonomous Application Categorization
19/06/2026: [Séminaire MoVe] Ronald FAGBEHOURO (Télécom Sud Paris) : Budgétisation des ressources dans les systèmes logiciels : modèles, instrumentation et perspectives
22/05/2026: [Séminaire MoVe] Fanuel Mehari (MoVe, LIP6) : Analyse et réparation dans les chaînes d’approvisionnement logicielles
07/05/2026: [Séminaire MoVe] Yann Thierry-Mieg (MoVe, LIP6) : Modélisation et vérification de systèmes complexes.
15/04/2026: [Séminaire MoVe] Jalil Boukhobza (ENSTA, IPP) : Gestion de ressources et optimisation des systèmes de stockage
10/04/2026: [Séminaire MoVe] Souheib Baarir (MoVe, LIP6) : Parallel and Domain-Aware SAT Solving: Application to Blockchain Analysis
03/04/2026: [Séminaire MoVe] Five Structural Problems of Large-Scale Software in Industry
20/02/2026: Conformance checking in time-aware process models
23/01/2026: Les 20 ans de MeFoSyLoMa
16/01/2026: Séminaire LLM

2024

07/06/2024: Le savoir est une arme !
07/06/2024: Safety Verification of Wait-Only Non-Blocking Broadcast Protocols

2017

23/11/2017: Exploiter la Gamification pour améliorer l’implication des développeurs dans la qualité du code source, une étude de cas industrielle.
20/10/2017: Energy-optimization for Embedded Devices
25/04/2017: MOOC programmation Concurrente (avec Java)
31/03/2017: séminaire «Méthodes Formelles pour les Systèmes Logiciels et Matériels» du 31 mars 2017
14/03/2017: MOOC programmation iOS (partie I)

2015

06/07/2015: International Summer School on Intensive Automated Testing of Service Oriented Architectures
18/06/2015: Learning to Rank with Additive Ensembles of Regression Trees
03/06/2015: International Workshop on ISO/IEC 15909-3: properties, modularity, and stochastic Petri nets.
06/05/2015: Nested-Unit Petri Nets: Combining Hierarchy with Concurrency
16/04/2015: The subtle alchemy of concurrency and real-time
06/03/2015: Méthodes Formelles pour les Systèmes Logiciels et Matériels
05/03/2015: Proving Copyless Message-Passing

2014

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

2013

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

2012

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

2011

30/09/2011: Méthodes Formelles pour les Systèmes Logiciels et Matériels
05/04/2011: On model checking concurrent recursive programs
15/03/2011: Contraintes sur le temps logique dans la conception de systèmes embarqués.
11/01/2011: Méthodes Formelles pour les Systèmes Logiciels et Matériels

2010

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

2009

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

2008

05/12/2008: Méthodes Formelles pour les Systèmes Logiciels et Matériels
14/11/2008: Méthodes Formelles pour les Systèmes Logiciels et Matériels
20/06/2008: Sur la fluidification des réseaux de Petri: de leur expressivité à l'évaluation des performances
22/04/2008: A High-level Perspective on Formal Validation and Verification
11/04/2008: Méthodes Formelles pour les Systèmes Logiciels et Matériels
15/02/2008: Méthodes Formelles pour les Systèmes Logiciels et Matériels

2007

16/11/2007: Méthodes Formelles pour les Systèmes Logiciels et Matériels
05/10/2007: Méthodes Formelles pour les Systèmes Logiciels et Matériels
05/04/2007: Model-checking temporisé
09/03/2007: Méthodes Formelles pour les Systèmes Logiciels et Matériels
19/01/2007: Méthodes Formelles pour les Systèmes Logiciels et Matériels

2006

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