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
Works with us
Software
Patents
Start-ups
Staff directory
Colloquium
🔒
📫
🇬🇧
🇫🇷
🇬🇧
-
Computer Science Laboratory
Sorbonne Universté
Centre National de la Recherche Scientifique
News
Archives
All current and past events
SPI
2012
10/21/2012:
Appel à communications pour la Revue d’Intelligence Artificielle : Numéro Spécial Logique et Sécurité
2011
04/22/2011:
Journée Sécurité et Méthodes Formelles
2010
03/08/2010:
Journée SSURF
2009
06/11/2009:
Journée Présentation et Formation - FOCAL
05/27/2009:
Journée Sécurité - (SSURF + PPF Logiciels Sûrs)
2008
11/07/2008:
Journée du Plan Pluri Formation Logiciels Sûrs et de l'action ANR SSURF
05/13/2008:
Journée du Plan Pluri Formation Logiciels Sûrs et de l'action ANR SSURF