Talks

Talks

Semantique et implantation d'une extension de ML pour la preuve de programmes

Ecole CIMPA sur: Conception et realisation d'un systeme modulaire pour le traitement d'images temps reel, 07-12 June, 2003

Université Ibn Khaldoun

Nouvelle algorithmique pour le calcul polyedral via programmation lineaire parametrique

Colloque national sur: Comportement hydrodynamique des macromolecules dans les milieux poreux fins en regime de deformation faible, 17-22 April, 2003

Université Ibn Khaldoun