Computer Science Laboratory

All current and past events

MoVe

2026

01/23/2026: Les 20 ans de MeFoSyLoMa
01/16/2026: Séminaire LLM

2024

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

2017

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

2015

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

2014

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

2013

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

2012

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

2011

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

2010

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

2009

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

2008

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

2007

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

2006

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