Abstract is missing.
- Tutoriel I: Bioinformatique et contraintesDavid Gilbert. 13
- Une sémantique co-inductive pour la propagation de contraintes et de labelingJulien Arsouze, Gérard Ferrand, Arnaud Lallouet. 17-32
- Preuves infinies en Programmation logiqueMathieu Jaume. 33-48
- Les programmes bien typés ont tout bonPierre Deransart, Jan-Georg Smaus. 49-66
- Spécification de modèles de traces à l aide d une sémantique par continuationsErwan Jahier, Mireille Ducassé, Olivier Ridoux. 67-84
- Conférénce invitée: Négation et dualité en programmation logiqueJean-Yves Girard. 85
- Predicting Derivation Lengths in Rule-based Constraint ProgramsThom W. Frühwirth. 89-108
- Modélisation déclarative de stratégies de propagation de contraintesLaurent Granvilliers, Eric Monfroy. 109-124
- Un système de résolution de contraintes ensemblistes pour l évaluation de spécifications BFabrice Bouquet, Bruno Legeard, Fabien Peureux, Laurent Py. 125-144
- Conférence invitée: Négation et quantification dans les contraintesAlain Colmerauer. 145
- Allocation de créneaux pour la régulation du trafic aérienNicolas Barnier, Pascal Brisset. 149-164
- Une technique déclarative pour filtrer des motifs topologiques de protéinesDavid Gilbert, David R. Westhead, Janet M. Thornton, Karine Yvon. 165
- Ant-P-Solveur: un solveur de contraintes à base de fourmis artificiellesChristine Solnon. 189-204
- Résolution de systèmes non linéaires par inversion des contraintes et analyse par intervallesMartine Ceberio, Laurent Granvilliers. 205-220
- Tutoriel II: Is it difficult to solve equations in the algebra of wordsLeszek Pacholski. 221
- Résolution de contraintes du premier ordre dans la théorie des arbres finis ou infinisThi-Bich-Hanh Dao. 225-240
- Le iota-calcul: un langage de contraintes d ordre supérieurFrédéric Mesnard, Antoine Rauzy. 241
- Test d hypothèses pour l intégration d information en logique à quatre valeursYann Loyer, Nicolas Spyratos, Daniel Stamate. 265