Teaching

• Constraint programming over continous domains (Master II course) A short note , Slides


• Programmation par contraintes (Master II ISI et PLMT, Département SI de Polytech' Nice-Sophia)
  introduction, intervalles 1, intervalles 2,



• Bases de Données ( Département SI de Polytec h' Nice-Sophia, 4ème année)


• Logique et Programmation en logique ( Département SI de Polytech' Nice-Sophia , 3ère année)


• Test Logiciel ( IMAFA Master 2 et MAM5 IMAFA - Département SI de Polytech' Nice-Sophia )