2006以来专题研讨会及会议
MoVe
- 2017-11-23: Exploiter la Gamification pour améliorer l’implication des développeurs dans la qualité du code source, une étude de cas industrielle.
- 2017-10-20: Energy-optimization for Embedded Devices
- 2017-4-25: MOOC programmation Concurrente (avec Java)
- 2017-3-31: séminaire «Méthodes Formelles pour les Systèmes Logiciels et Matériels» du 31 mars 2017
- 2017-3-14: MOOC programmation iOS (partie I)
- 2015-7-6: International Summer School on Intensive Automated Testing of Service Oriented Architectures
- 2015-6-18: Learning to Rank with Additive Ensembles of Regression Trees
- 2015-6-3: International Workshop on ISO/IEC 15909-3: properties, modularity, and stochastic Petri nets.
- 2015-5-6: Nested-Unit Petri Nets: Combining Hierarchy with Concurrency
- 2015-4-16: The subtle alchemy of concurrency and real-time
- 2015-3-6: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 2015-3-5: Proving Copyless Message-Passing
- 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-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-10-12: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 2012-8-27: 18th 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-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-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-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-12-5: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 2008-11-14: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 2008-6-20: Sur la fluidification des réseaux de Petri: de leur expressivité à l'évaluation des performances
- 2008-4-22: A High-level Perspective on Formal Validation and Verification
- 2008-4-11: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 2008-2-15: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 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-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: 1st 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