Programme des trois journées

Mercredi 8 juin
---------------
 9h00 - 10h00 : Conférence invitée 
		Le problème du Car Sequencing RENAULT et le Challenge ROADEF'2005
		Alain Nguyen, Van-Dat Cung
                Modérateur : Christine Solnon
10h00 - 10h30 : Pause
10h30 - 12h30 : Session « Applications à des problèmes réels (1) »
                Modérateur : Francois Fages
12h30 - 14h00 : Repas de midi
14h00 - 16h00 : 2 sessions en parallèle
      Session « Logique propositionnelle / Problème SAT »
                Modérateur : Chu-Min Li
      Session « Algorithmes de filtrage et propagation de contraintes (1) »
                Modérateur : Gérard Verfaillie
16h00 - 16h30 : Pause
16h30 - 17h30 : 2 sessions en parallèles 
      Session « Contraintes souples »
                Modérateur : Christophe Lecoutre
      Session « Décomposition de réseaux de contraintes »
                Modérateur : Vincent Barichard
17h30 - 19h00 : Assemblée générale de l'AFPC
19h30         : Réception à l'Hôtel de ville de Lens

Jeudi 9 juin
------------
 8h30 - 10h00 :  2 sessions en parallèle
      Session « Analyse statique / Environnements de programmation »
		Modérateur : Arnaud Lalhouet
      Session « CSP continus »
                Modérateur : Frederic Benhamou
10h00 - 10h30 : Pause
10h30 - 12h30 : Session « Contraintes globales »
                Modérateur : Narendra Jussien
12h30 - 14h00 : Repas de midi
14h00 - 15h00 : Conférence invitée
		Fouille de données sous contraintes et bases de données inductives
		Jean-François Boulicaut
                Modérateur : Lakhdar Sais
15h00 - 15h30 : Pause
15h30 - 17h00 : 2 sessions en parallèle
      Session « Algorithmes de filtrage et propagation de contraintes (2) »
                Modérateur : Thomas Schiex
      Session « Jeunes chercheurs »
                Modérateur : Gilles Trombettoni
17h00         : Visite et Diner de Gala à Arras

Vendredi 10 juin
----------------
8h30 - 10h30 : Session « Applications à des problèmes réels (2) »
               Modérateur : Daniel Le Berre
10h30 - 11h00 : Pause
11h00 - 12h30 : 2 sessions en parallèle
     Sessions « Recherche locale » + « Benchmarks »
               Modérateur : Laurent Simon
     Session « Configurations »
               Modérateur : Gilles Audemard
12h30 - 14h00 : Repas
14h00 - 15h30 : Session « Explications »
               Modérateur : Christian Bessière

Contenu des sessions

Session « Applications à des problèmes réels (1) »

• Résolution du problème de car-sequencing à l'aide d'une approche de type FC Simon Boivin, Marc Gravel, Michaël Krajecki, Caroline Gagné
• Ordonnancement de véhicules: une approche par recherche locale à grand voisinage Bertrand Estellon, Frédéric Gardi, Karim Nouioua
• Inférer et simuler un modèle biologique décrivant l'adhérence entre cellules Fabien Corblin, Eric Fanchon, Laurent Trilling
• Plasma, un nouvel algorithme progressif pour l'alignement multiple de séquences Vincent Derrien, Jean-Michel Richer, Jin-Kao Hao

Session « Logique propositionnelle / Problème SAT »

• Une autre conversion de SAT vers CSP Olivier Roussel
• Une approche symbolique pour les formules booléennes quantifiées Gilles Audemard, Lakhdar Saïs
• Utilisation de la Propagation de Contraintes Booléennes pour la Production de Sous-Clauses Sylvain Darras, Gilles Dequen, Laure Devendeville, Bertrand Mazure, Richard Ostrowski, Lakhdar Saïs
• Algorithmes d'élimination de quantificateurs pour le calcul des politiques des formules booléennes quantifées Igor Stéphan

Session « Algorithmes de filtrage et propagation de contraintes (1) »

• Inférence de supports pour les algorithmes de filtrage générique Frederic Boussemart, Fred Hemery, Christophe Lecoutre, Lakhdar Saïs
• Une approche gloutonne pour établir la singleton consistance d'arc Stephane Cardon, Christophe Lecoutre
• Amélioration par apprentissage de la recherche à divergences limitées Wafa Karoui, Marie-José Huguet, Pierre Lopez, Wady Naanaa
• Acquisition de Contraintes Ouvertes par Apprentissage de Solveur Andreï Legtchenko, Arnaud Lallouet

Session « Contraintes souples »

• Requêtes complexes sur des réseaux de Croyance-Faisabilité-Désir Cedric Pralet, Gerard Verfaillie, Thomas Schiex
• Cohérence d'arc existencielle : un pas de plus vers la cohérence d'arc complète Matthias Zytnicki, Federico Heras, Simon de Givry, Javier Larrosa

Session « Décomposition de réseaux de contraintes »

• Sur la génération et l'exploitation de décompositions pour la résolution de réseaux de contraintes Philippe Jégou, Samba Ndiaye, Cyril Terrioux
• Un compromis temps-espace pour la résolution de réseaux de contraintes par décomposition Philippe Jégou, Cyril Terrioux

Session « Analyse statique / Environnements de programmation »

• Un Système de Module Fermé pour la PLC Rémy Haemmerlé, François Fages
• Automatisation de l'application de l'hypothèse de récurrence dans la preuve des formules implicatives Inès Mouakher, Francis Alexandre, Khaled Bsaïes
• Un système de types pour CHR Emmanuel Coquery, François Fages

Session « CSP continus »

• IGC : Une nouvelle consistance partielle pour les CSPs continus Gilles Chabert, Gilles Trombettoni, Bertrand Neveu
• Une Stratégie de Résolution Orientée par la Topologie des CSPs Numériques Heikel Batnini, Michel Rueher, Claude Michel
• Extension des QuadTrees pour la représentation et le filtrage des contraintes numériques définies par des fonctions par morceaux. Elise Vareilles, Khaled Hadj-Hamou, Michel Aldanondo, Paul Gaborit

Session « Contraintes globales »

• Bornes de Caractéristiques de Graphes Nicolas Beldiceanu, Thierry Petit, Guillaume Rochart
• Au sujet de certaines contraintes globales Diego Olivier Fernandez Pons
• Apprentissage de Contraintes Globales Implicites Christian Bessière, Rémi Coletta, Thierry Petit
• Elimination des symétries dans les problèmes injectifs Jean-François Puget

Session « Algorithmes de filtrage et propagation de contraintes (2) »

• De FC à MAC : un algorithme paramétrable pour la résolution des CSP Assef Chmeiss, Lakhdar Saïs
• Algorithmes Optimaux et Sous-optimaux de Singleton Consistance d'Arc Christian Bessière, Romuald Debruyne
• Les réseaux de contraintes quantitatives ultimement périodiques (UPSTP) Jean-François Condotta, Gérard Ligozat, Stavros Tripakis

Session « Jeunes chercheurs »

• Résolution du problème d'équilibrage des diplômes grâce à l'hybridation d'algorithmes génétiques et de la propagation de contraintes Tony Lambert, Carlos Castro, Eric Monfroy, Maria Cristina Riff, Frédéric Saubion
• Programmation par contraintes pour l'optimisation multicritère Diego Olivier Fernandez Pons
• Problème de Satisfaction de Contraintes n-aire: une étude expérimentale Mihaela Butaru, Zineb Habbas
• Voisinage consistant sur des configurations partielles pour la résolution de problèmes réels de grande taille Djamal Habet, Audrey Dupont, Michel Vasquez
• Voisinage d'arbre évolutif appliqué au problème Maximum Parcimonie Adrien Goëffon, Jean-Michel Richer, Jin-Kao Hao

Session « Recherche locale / Approches hybrides »

• Une vision trivaluée pour les problèmes SAT et MAX-SAT Frédéric Lardeux, Frédéric Saubion, Jin-Kao Hao
• Résolution de Max-CSP par Recherche Locale guidée par la Relaxation Lagrangienne Mohand Ou Idir Khemmoudj, Fayçal Djerourou, Hachemi Bennaceur

Session « Benchmarks »

• Les CSP extrêmaux Nicolas Prcovic

Session « Configurations »

• Comprendre des Descriptions Simples à l'aide d'un Configurateur Mathieu Estratat, Laurent Hénocque
• Une procédure générale d'élimination d'isomorphismes pour les problèmes de configuration Laurent Hénocque, Mathias Kleiner, Nicolas Prcovic
• Une application de la configuration à la composition automatique de "workflows" Patrick Albert, Laurent Hénocque, Mathias Kleiner

Session « Applications à des problèmes réels (2) »

• Plus d'inférence et moins de recherche pour la résolution de problèmes de planification simples Vincent Vidal, Héctor Geffner
• Plus courts chemins dans un graphe planaire et création d'un réseau de routes aériennes Thomas Rivière, Pascal Brisset
• Les K-rois : une métaphore du problème d'ordonnancement spatio-temporel des avions autour d'un aéroport Konstantin Artiouchine, Philippe Baptiste, Juliette Mattioli
• Utilisation des CHRs pour générer des cas de test fonctionnel pour la Machine Virtuelle Java Card Sandrine-Dominique Gouraud, Arnaud Gotlieb

Session « Explications »

• Implémenter des contraintes globales expliquées Guillaume Rochart, Narendra Jussien
• Des explications pour reconnaître et exploiter les structures cachées Hadrien Cambazard, Narendra Jussien
• Explication systématique des contraintes indexicales Ludovic Langevine