Show Menu
Hide Menu
Le LIP6
À propos
Organigrammes
Organisation
Comité de Direction
Direction Administrative et Financière
Direction de l’Ingénierie Numérique
Conseil scientifique
Conseil de laboratoire
Conseil des doctorants
Enseignements
Médiation scientifique
Nos chartes et engagements
Localisation & Contact
Recherche
Axes & Équipes
Publications
Projets
Projets ERC
Projets Européens
Projets PEPR
Projets ANR
Projets PIA & PostGenAI@Paris
Rapports d’activité
Valorisation
Nos compétences
Collaborer avec nous
Logiciels
Brevets
Start-ups
Annuaire
Colloquium
🔒
📫
🇫🇷
🇫🇷
🇬🇧
-
Laboratoire d’informatique
Sorbonne Université - CNRS UMR 7606
Sorbonne Universté
Centre National de la Recherche Scientifique
Le LIP6 soutient la campagne Octobre Rose de prévention contre le cancer du sein
Actualités
Archives
Archive
ALSOC
2017
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?
2016
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)
2013
15/03/2013:
Feature Localization in Hardware Designs
2012
15/11/2012:
Journée "Méthodes, Outils et Architectures pour les Mémoires" (GDR SOCSIP)
2010
22/03/2010:
Matinée Vérification et sécurité
2009
13/11/2009:
Méthodes Formelles pour les Systèmes Logiciels et Matériels