Show Menu
Hide Menu
Home
About
Scientific Influence
Organisation charts
Organisation
Direction
Administration
IT Service
Scientific Board
Governing Board
PhD Board
Teaching
Location & Contact
Research
Axes & Teams
Publications
Projects
ERC Projects
European Projects
France 2030
ANR Projects
Activity reports
Valorisation
Our skills
Work with us
Software
Patents
Start-ups
Job Offers
Staff directory
Colloquium
🔒
📫
🇬🇧
🇫🇷
🇬🇧
-
Computer Science Laboratory
Sorbonne Universté
Centre National de la Recherche Scientifique
News
Archives
All current and past events
ALSOC
2017
11/20/2017:
Fault-Attack Aware Microprocessor Extension (FAME): From Concept to Prototype
11/20/2017:
Should everything that can be done also be done?
2016
05/20/2016:
Conception d'algorithmes parallèles d'étiquetage et d'analyse en composantes connexes
01/15/2016:
Application du Model-based Testing dans le projet OpenETCS (Open European train Control System)
2013
03/15/2013:
Feature Localization in Hardware Designs
2012
11/15/2012:
Journée "Méthodes, Outils et Architectures pour les Mémoires" (GDR SOCSIP)
2010
03/22/2010:
Matinée Vérification et sécurité
2009
11/13/2009:
Méthodes Formelles pour les Systèmes Logiciels et Matériels