\includegraphics[width=3cm]{Logo_colog_1}

Call for Papers

Important Dates

Contact Info

Schedule and Proceedings

Organizing Committee

A Satellite Workshop of:

FM 2003

CoLogNet Workshop on

Implementation Technology for Computational Logic Systems

Satellite Workshop of FM 2003 Symposium
Pisa, Italy - September 9, 2003



    CoLogNet, the European Network of Excellence in Computational Logic is organizing the Second Workshop on Implementation Technology for Computational Logic Systems (ITCLS) as a satellite workshop of Formal Methods 2003, to take place in Pisa. The previous edition was held in September 2002 in Madrid, affiliated with Logic-based Program Development and Transformation (LOPSTR'02), and co-located with the International Static Analysis Symposium (SAS'02) and the APPIA-GULP-PRODE Joint Conference on Declarative Programming (AGP'02).

    The workshop is a forum open to both academia and industry and whose aim is to present and discuss work (possibly in progress) related to the topics mentioned below. The ITCLS workshop builds on the tradition of the series of workshops on Implementations of Logic Programming Systems held in the context of COMPULOG NET, the former Network of Excellence in Computational Logic, but opens up its scope to a broader use of logic and formal methods within computational systems.

    ITCLS 2003 focuses on implementation techniques from the different areas addressed by CoLogNet. The aim is to bring together researchers from fields such as automated reasoning, formal methods and theorem proving, natural language processing, constraint logic programming, inductive logic programming, non-monotonic logic programming, etc. in order to share common problems and solutions regarding implementation and usability issues which arise in formal and logic-based computational systems.

    Topics of interest for this workshop include, but are not limited to:

  • Implementation techniques for all aspects of the implementation of systems related to computational logic and formal systems, including:
    • Formal Methods and its relationship with Computational Logic,
    • Compiling Specifications,
    • Theorem Proving,
    • Non-monotonic Reasoning, Higher Order, Linear Logics,
    • Logic Programming,
    • Constraint Programming, and
    • Natural Language Processing

  • Environments for computational logic and formal systems, including:
    • User-interfaces and User-needs,
    • Software Development,
    • Debugging and Visualization Techniques, and
    • Interfaces to Other (possibly Computational Logic) Systems