Mercredi 8 | Jeudi 9 | Vendredi 10 | ||||
---|---|---|---|---|---|---|
8h | Accueil des participants Petit déjeuner | Accueil | Accueil | |||
8h30 | Analyse statique / Environnements de programmation | CSP continus | Applications à des problèmes réels (2) | |||
9h | Conférence invitée Le problème du Car Sequencing RENAULT et le Challenge ROADEF'2005 Alain Nguyen, Van-Dat Cung | |||||
10h | Pause | |||||
10h30 | Applications à des problèmes réels (1) | Contraintes globales | Pause | |||
11h | Recherche locale + Benchmarks | Configurations | ||||
12h30 | Repas de midi | |||||
14h | Logique propositionnelle / Problème SAT | Algorithmes de filtrage et propagation de contraintes (1) | Conférence invitée Fouille de données sous contraintes et bases de données inductives Jean-François Boulicaut |
Explications | ||
15h | Pause | |||||
15h30 | Algorithmes de filtrage et propagation de contraintes (2) | Jeunes chercheurs | ||||
16h | Pause | |||||
16h30 | Contraintes souples | Décomposition de réseaux de contraintes | ||||
17h | Visite et Diner de Gala à Arras | |||||
17h30 | Assemblée générale de l'AFPC | |||||
19h30 | Réception à l'Hôtel de ville de Lens |