The CCL Project Archive

Appeared in Volume 8/1, February 1995

The ESPRIT working group CCL (Construction of Computational Logics) now offers anonymous FTP and Web access to the publications of its participating sites.

Anonymous FTP: ftp://ps-ftp.dfki.uni-sb.de/pub/ccl
Web: http://ps-www.dfki.uni-sb.de/ccl/

The ESPRIT working group CCL (Construction of Computational Logics) started on July 24th, 1992. Its aims are:

to investigate specific instances of combination problems for logics and constraints of particular interest; to investigate new symbolic constraints and to design algorithms for combining existing constraint systems; to develop or improve theorem proving techniques for certain logics of special importance for programming, by taking advance of constraint systems.

The partners are: COSYTEC, Orsay, France; DFKI, Saarbruecken, Germany; INRIA Lorraine, Nancy, France; Max-Planck-Institut fuer Informatik, Saarbruecken, Germany; RWTH, Aachen, Germany; Technische Universitaet Muenchen, Germany; Universidad Complutense, Madrid, Spain; Universitaet Muenchen, Germany; Universitat Politecnica de Catalunya, Barcelona, Spain; Universite Paris Sud, Orsay, France.

For more information, contact:

Ralf Treinen
DFKI Saarbruecken GmbH
D-66123 Saarbruecken, Germany
Email: treinen@dfki.uni-sb.de