Show Menu
Hide Menu
Startseite LIP6
Ein Wort des Direktors
Organigramm
Organisation des LIP6
Direktion
Verwaltung
IT Service
Wissenschaftlicher Rat (Conseil scientifique)
Laborrat (Conseil de laboratoire)
Verwaltungsrat
Teaching
Scientific Mediation
Our charters and commitments
Lage & Kontakt
Suche
Äxte & Teams
Publikationen
Projekte
ERC Projects
European Projects
PEPR Projects
ANR Projects
PIA & PostGenAI@Paris Projets
Rechenschaftsbericht
Bewertung
Unsere Fähigkeiten
Zusammenarbeiten
Softwareprogramme
Patente
Start-ups
Adressverzeichnis
Kolloquium
🔒
📫
🇩🇪
🇫🇷
🇬🇧
🇩🇪
-
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.
Aktuelles
Archive
Vorträge und Seminare seit 2006
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