2006以来专题研讨会及会议
ALSOC
- 2017-11-20: Fault-Attack Aware Microprocessor Extension (FAME): From Concept to Prototype
- 2017-11-20: Should everything that can be done also be done?
- 2016-5-20: Conception d'algorithmes parallèles d'étiquetage et d'analyse en composantes connexes
- 2016-1-15: Application du Model-based Testing dans le projet OpenETCS (Open European train Control System)
- 2013-3-15: Feature Localization in Hardware Designs
- 2012-11-15: Journée "Méthodes, Outils et Architectures pour les Mémoires" (GDR SOCSIP)
- 2010-3-22: Matinée Vérification et sécurité
- 2009-11-13: Méthodes Formelles pour les Systèmes Logiciels et Matériels