Show Menu
Hide Menu
Home
About
Organisation charts
Organisation
Direction
Administration
IT Service
Scientific Board
Governing Board
PhD Board
Teaching
Scientific Mediation
Our charters and commitments
Location & Contact
Research
Axes & Teams
Publications
Projects
ERC Projects
European Projects
PEPR Projects
ANR Projects
PIA & PostGenAI@Paris Projets
Activity reports
Valorisation
Our skills
Work with us
Software
Patents
Start-ups
Staff directory
Colloquium
🔒
📫
🇬🇧
🇫🇷
🇬🇧
-
Computer Science Laboratory
Sorbonne Université - CNRS UMR 7606
Sorbonne Universté
Centre National de la Recherche Scientifique
LIP6 supports the Pink October campaign for breast cancer awareness.
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