International Summer School on

Constraints in Computational Logics

Gif-sur-Yvette, France, 5-8 September, 1999.

Logic is the common ground of apparently diverging programming styles - functional, logical, constraint based, object-oriented - since computation can be understood as simplifying or solving problems represented by logical formulas. Reconciliation of different programming styles will be accomplished through combination of their underlying logics. Constraint logic programming has been the first entirely successful step towards this ambition of combining logics. Constraints are logical systems specifically tailored to particular theories. They yield convenient notations for particular problem domains, efficiency thanks to dedicated solvers, and modularity by isolating the solver from the purely logical part of the computation.

In the field of automated deduction, constraints have been equally successful for the same reasons. In particular, they allow to cope with deduction control inside the object logic, showing again the power of constraints to combine logical systems.

This summer school is the conclusion of the Esprit research project CCL and its successor project CCL2 which pursued since 1992 the combination of computational logics through constraints. The lectures reflect the main research lines of CCL:

Lecture Notes

The lecture notes have appeared as Springer LNCS 2002.

Lectures

Introduction to Constraint Solving Jean-Pierre Jouannaud (LRI, Université de Paris-Sud)
and Ralf Treinen (LRI, Université de Paris-Sud)
Functional and Constraint Logic Programming Mario Rodríguez-Artalejo (Universidad Complutense, Madrid)
Constraint Solving on Terms Hubert Comon (LSV, Ecole Normale Supérieure Cachan)
and Claude Kirchner (INRIA Lorraine, Nancy)
Building Industrial Applications With Constraint Programming Helmut Simonis (COSYTEC)
Combining Constraint Solving Franz Baader (RWTH Aachen)
and Klaus Schulz (CIS, Universität München)
Concurrent Constraint Programming based on Functional Programming Gert Smolka (Universität Saarbrücken)
Constraints and Theorem Proving Harald Ganzinger (MPI Saarbrücken)
and Robert Nieuwenhuis (University of Catalonia, Barcelona)

Venue

The summer school will be held in the Château de Gif-sur-Yvette, situated on the CNRS campus. Gif-sur-Yvette is a village very close to Université Paris-Sud, and 25km from Paris, France.

More information

Pictures


Programme Committee Hubert Comon (chair)
Harald Ganzinger
Mario Rodríguez-Artalejo
Local Organisation Claude Marché
Ralf Treinen

ccl99@lri.fr
Last change: May 5, 1999.