Journée du pôle MDSC - Juin 2010
9h30 - 10h Accueil
Ce n'est pas le moindre charme d'une théorie que d'être réfutable*
10h - 11h Jean-Charles Régin
Improving the Held and Karp Approach with Constraint Programming
11h - 11h30 Jérôme Chandesris
Automates cellulaires à coordonnées réelles
11h30 - 12h Mohammed Said Belaid
Résolution de contraintes sur les nombres à virgule flottante par une approximation sur les nombres réels
12h - 14h Déjeuner au Restaurant l'Union
Le sérieux, ce symptôme évident d'une mauvaise digestion*
14h - 15h Jean-Paul Comet
Modélisations discrète et hybride des réseaux de régulation génétique
15h - 15h30 Zhora Khalis
Adaptation de la logique de Hoare pour la modélisation de réseau génétique
15h30 - 16h Pause café
16h - 16h30 Lionnel Nicolas
Acquisition automatique de règles morphologiques
16h30 - 17h00 Tran Vinh Duc
One-relation languages and w-code generators
On se refuse de croire aux sottises des hommes intelligents ; quelle entorse aux droits de l'homme*
(*)F. Nietzsche
