Show Menu
Hide Menu
Laboratorio de Ciencias de la Computación
Discurso del Director
Organigrama
organización del LIP6
Dirección
Servicios Administrativos
IT Service
Comité científico
Comité para el laboratorio
Consejo de dirección
Teaching
Cómo llegar
Búsqueda
Axes & Teams
Publicaciones
Proyectos
ERC Projects
European Projects
Priority Research Programmes and Equipments
Joint Laboratories
ANR Projects
Memoria Anual
Valuación
Our skills
Works with us
Softwares
Patentes
Start-ups
Empleos
Directorio de personal
coloquio
🔒
📫
🇪🇸
🇫🇷
🇬🇧
🇪🇸
-
Computer Science Laboratory
Empleos
Tesis : Formal Verification by Abstract Interpretation of Functional Correctness Properties of Neural Networks
Sorry, no longer relevant