The Esprit Working Group CCL II
Construction of Computational Logics

  • Main Home Page

  • Projects

  • Perdio Page

  • Negra Page

  • Nep Page

  • CCL Page

  • Scheduling Page

  • Parallel Oz Page

  • If you can read this, your browser provides insufficient support for style sheets. The visual presentation of this document will suffer.

    CCL II Home Page

    The contents of this document were copied from the official home page of the esprit working group CCL II, authored and maintained by Ralf Treinen.


    Construction of Computational Logics II (CCL) is a working group in the ESPRIT Basic Research program of the European Union. It is the successor project of the working group CCL I.

    Project Goals

    The aims of CCL are:

    Further Information


    Denys Duchier