Show Menu
Hide Menu
Le LIP6
À propos
Rayonnement Scientifique
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
Médiation Scientifique
Enseignements
Localisation & Contact
Recherche
Axes & Équipes
Publications
Projets
Projets ERC
Projets Européens
France 2030
Projets ANR
Rapports d’activité
Valorisation
Nos compétences
Collaborer avec nous
Logiciels
Brevets
Start-ups
Offres d’emploi
Annuaire
Colloquium
🔒
📫
🇫🇷
🇫🇷
🇬🇧
-
Laboratoire d’informatique
Sorbonne Universté
Centre National de la Recherche Scientifique
Actualités
Archives
Archive
SPI
2012
21/10/2012:
Appel à communications pour la Revue d’Intelligence Artificielle : Numéro Spécial Logique et Sécurité
2011
22/04/2011:
Journée Sécurité et Méthodes Formelles
2010
08/03/2010:
Journée SSURF
2009
11/06/2009:
Journée Présentation et Formation - FOCAL
27/05/2009:
Journée Sécurité - (SSURF + PPF Logiciels Sûrs)
2008
07/11/2008:
Journée du Plan Pluri Formation Logiciels Sûrs et de l'action ANR SSURF
13/05/2008:
Journée du Plan Pluri Formation Logiciels Sûrs et de l'action ANR SSURF