Show Menu
Hide Menu
Home
About
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
Priority Research Programmes and Equipments
Common Laboratories
ANR Projects
Activity reports
Valorisation
Our skills
Works with us
Software
Patents
Start-ups
Jobs
Staff directory
Colloquium
🔒
📫
🇬🇧
🇫🇷
🇬🇧
-
Computer Science Laboratory
Every 25th of the month, LIP6 supports the “
Orange Day
”» to end violences against women!
Staff directory
DUBOIS Olivier
Habilitation -
SYSDEF
Problèmes de Satisfaisabilité : phénomènes de seuil, résolution algorithme, applications
Phd defence
: 09/10/2003