[html] [ps] [pdf] [texte]

Programme des JFPLC'2002

Onzièmes Journées Francophones de Programmation Logique et Programmation par Contraintes


Nice - 27 au 29 mai 2002


 

Lundi 27 Mai

 
9h - 10h Accueil
 

10h - 11h Conférence invitée (JFPLC) (Session commune JFPLC-JNPC)
Président : Laurent Granvilliers
10h - 11h -  Du filtrage optimal à la stabilité parfaite
    Pascal Van Hentenryck

 
 

11h30 - 13h Contraintes numériques
Président : Olivier Lhomme
11h30 - 12h -  Raisonnement sur les propriétés de contraintes numériques
    Lucas Bordeaux, Eric Monfroy et Frédéric Benhamou
12h - 12h30 -  Résolution de problèmes non-linéaires avec continuum de solutions
    Xuan-Ha Vu, Djamila Sam-Haroud et Marius-Calin Silaghi
12h30 - 13h -  Quelques applications de la propagation de contraintes sur les domaines continus en automatique
    Luc Jaulin, Marc Christie et Laurent Granvilliers

 
 

14h30 - 16h Logique I
Président : François Fages
14h30 - 15h -  Optimisation par colonies de fourmis pour la programmation logique étendue
    Pascal Nicolas, Frédéric Saubion et Igor Stéphan
15h - 15h30 -  Using automated induction-based theorem provers for reasoning about concurrent systems
    Abdessamad Imine, Yahya Slimani et Sorin Stratulat
15h30 - 16h -  Non-termination inference for optimal termination conditions of logic programs
    Fred Mesnard, Etienne Payet et Ulrich Neumerkel

 
 

16h30 - 18h Environnement
Président : Abderrahmane Aggoun
16h30 - 17h -  Explications conviviales pour la programmation par contraintes
    Samir Ouis, Narendra Jussien et Olivier Lhomme
17h - 17h30 -  Analyse automatisée de traces d'exécution de programmes CLP(FD)
    Mireille Ducassé et Ludovic Langevine
17h30 - 18h -  Prototypage de traceurs CLP(FD) : Un modèle de trace et son expérimentation
    Ludovic Langevine, Pierre Deransart, Mireille Ducassé et Erwan Jahier

 
19h30 - 20h30 Assemblée générale de l'AFPLC
 
 
 

Mardi 28 Mai

 

9h - 10h Conférence invitée (JNPC) (Session commune JFPLC-JNPC)
Président : Jin Kao Hao
9h - 10h -  Génomique et optimisation combinatoire
    Alain Guénoche

 
 

10h30 - 12h30 Applications (Session commune JFPLC-JNPC)
Président : Gilles Trombettoni
10h30 - 11h -  La plate-forme iOpt dédiée au développement des systèmes d'optimisation basés sur les méthodes heuristiques
    Raphaël Dorne, Christos Voudouris, David Lesaint, Anne Liret et Cédric Ladde
11h - 11h30 -  Résolution d'un problème de conception de réseau avec Parallel Solver
    Raphaël Bernard, Jacques Chambon, Claude Lepape, Laurent Perron et Jean-Charles Régin
11h30 - 12h -  Coopération entre génération de colonnes avec tournées sans cycle et recherche locale appliquée au routage de véhicules
    Alain Chabrier, Emilie Danna et Claude Le Pape
12h - 12h30 -  Modélisation de systèmes biologiques en programmation conccurente par contraintes hybrides
    Alexander Bockmayr et Arnaud Courtois

 
 

14h - 16h CSP (Session commune JFPLC-JNPC)
Président : Christian Bessière
14h - 14h30 -  Recherche arborescente bornée
    Philippe Jégou et Cyril Terrioux
14h30 - 15h -  Representation of soft constraints by hard constraints
    J.C. Régin, J.F Puget et Thierry Petit
15h - 15h30 -  Techniques de simplification de formule CNF
    Richard Ostrowski , Eric Grégoire, Bertrand Mazure et Lakhdar Sa&iunl;s
15h30 - 16h -  Amortized non-systematic search algorithms
    Olivier Lhomme

 
16h15 - Départ pour la visite de Saint Paul de Vence
 
20h - Repas à Saint Paul de Vence
 
 

Mercredi 29 Mai

 

8h30 - 10h Logique II
Président : Pierre Deransart
8h30 - 9h -  Généralisations correctes pour l'induction mathématique
    Pascal Urso et Emmanuel Kounalis
9h - 9h30 -  Découverte de lemmes par instanciation de méta-variables dans les preuves par récurrence
    M. Demba et K. Bsaies
9h30 - 10h -  Ré-écriture de programmes C-- en équations logiques
    Olivier Ponsini

 
 

10h30 - 12h Analyse de programmes
Président : Christine Solnon
10h30 - 11h -  Using program analysis for integration and optimization of rule-based constraint solvers
    Slim Abdennadher et Thom Frühwirth
11h - 11h30 -  Surcharge et sous-typage dans TCLP
    Emmanuel Coquery et François Fages
11h30 - 12h -  Arbre d'itérations chaotique pour décrire la résolution des CSPs
    Julien Arsouze, Gerard Ferrand et Arnaud Lallouet

 
 

14h00 - 14h40 Papiers courts
Président : Patrice Boizumault
14h - 14h20 -  Négation et incertitude dans les bases de données déductives
    Yann Loyer et Umberto Straccia
14h20 - 14h40 -  Un algorithme robuste pour la confection d'horaires cycliques
    Gilbert Laporte et Gilles Pesant

 
15h - 16h Discussion sur la fusion des JFPLC et JNPC