[Oz] Summer School on Constraints in Computational Logics

[Ralf Treinen]

  International Summer School on Constraints in Computational Logic
  =================================================================

           Gif-sur-Yvette, France, 5-9 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:

	Introduction to Constraint Solving 
	Functional and Constraint Logic Programming 
	Constraint Solving on Terms 
	Building Industrial Applications With Constraint Programming 
	Combining Constraint Solving 
	Concurrent Constraint Programming 
	Constraints and Theorem Proving 

Lecturers
---------
Franz Baader
Hubert Comon
Harald Ganzinger
Jean-Pierre Jouannaud
Claude Kirchner
Robert Nieuwenhuis
Mario Rodríguez-Artalejo
Klaus Schulz 
Helmut Simonis 
Gert Smolka
Ralf Treinen

Inscriptions and further informations
-------------------------------------
There is no registration fee, however, participants should expect
costs of about 400 euro for accommodation and meals. Further information
will be posted soon on 

	http://www.lri.fr/~ccl99

To receive announcements on CCL'99 via email please subscribe to our
mailing list. Send a message to "majordomo at lri.fr" with body

	subscribe ccl99info 

In case of further questions please contact "ccl99 at lri.fr".

-- 
-------------------------------------------------------------------------------
Ralf Treinen, L.R.I. Bât. 490, Université Paris-Sud, F91405 Orsay cedex, France
LRI: http://www.lri.fr/~treinen         Private: http://www.teaser.fr/~rtreinen
email:treinen at lri.fr      phone: +33 1 69.15.65.92       fax: +33 1 69.15.65.86



-
Please send submissions to users at mozart-oz.org
and administriva mail to users-request at mozart-oz.org.
The Mozart Oz web site is at http://www.mozart-oz.org/.