Computer Science Laboratory

2006以来专题研讨会及会议

MoVe

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