CCL II: Follow up of CCL I
Combining programming paradigms carries an important potential for applications both in industry and in academia. As part of its on-going strategy to stay at the state-of-the-art in problem solving, COSYTEC coordinates the Esprit Working Group CCL (which stands for Construction of Computational Logics). Started in 1992, the success of CCL I was such that the European Commission now supports a second working group over the next three years. With 14 partners from 5 countries (i.e. France, Germany, Spain, Poland and Israel), COSYTEC's leadership as sole industrial partner was re-confirmed.
Through its heavy commitment to this working group, COSYTEC keeps in touch with academia, both to be aware of innovations, and to allow academia to experiment and to teach new functionalities.
The Esprit Working Group CCL II has three aims:
- Combine constraints with other computational logics, with applications in automated deduction and declarative programming,
- Design new constraint solving techniques, and
- Design combinations of various logics among equational logic (or algebraic rewriting), Horn clause logic, lambda calculi, etc...
The partners are involved in different national and international projects, which aim at developping or studying some computational logic. Concerned with the combination of logics, CCL is complementary to these activities.
The expected results are increased interaction among all researchers in combining programming paradigms, information dissemination of reports and publications. Another important fall-out is the integration of the most suitable innovations within CHIP.
Publications are expected in journals such as Journal of Logic Programming, Journal of Symbolic Computation and Information, and in conference proceedings such as Constraint Programming, International Conference on Logic Programming, and IEEE Symposium on Logic in Computer Science.
In addition to long and short visits among members, CCL II will organise four workshops:
- Madrid (E), Sept.96
- Dagstuhl (D), Fall 97
- Jerusalem (Isr), Fall 98
- Orsay (F), Summer 99
A summer school will be held at Orsay, in conjunction with the 1999 workshop. To allow dissemination of the results of the working group, the attendance will be open to the world-wide community. The proceedings of the school will be made available in a book form.