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