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
Lage & Kontakt
Suche
Äxte & Teams
Publikationen
Projekte
ERC Projects
European Projects
Priority Research Programmes and Equipments
Joint Laboratories
ANR Projects
Rechenschaftsbericht
Bewertung
Unsere Fähigkeiten
Zusammenarbeiten
Softwareprogramme
Patente
Start-ups
Stellenangebote
Adressverzeichnis
Kolloquium
🔒
📫
🇩🇪
🇫🇷
🇬🇧
🇩🇪
-
Computer Science Laboratory
LIP6 supports the Pink October campaign for breast cancer awareness.
Stellenangebote
These : Formal Verification by Abstract Interpretation of Functional Correctness Properties of Neural Networks
Sorry, no longer relevant