Conférences et séminaires organisés depuis 2006
MoVe
- 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)
- 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
- 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
- 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
- 12/10/2012: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 27/08/2012: 18th 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
- 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
- 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!
- 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
- 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
- 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
- 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: 1st 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