Summer School on Computational Logic

Computational Logic (CL), the subject of the School, covers all
aspects of declarative programming both with and without types.  In
particular, being based on mathematical logic, systems and tools based
on CL are particularly amenable to type checking, inference and
reconstruction.  Note that, type inference is a well known application
of abstract interpretation which is one of the topics of the School's


[Please, accept our apologies if you receive multiple copies.]

       F I R S T   C A L L   F O R    P A R T I C I P A T I O N


          International Summer School on Computational Logic
                              ISCL 2002

                 Maratea (Italy), August 25-30, 2002



Computational Logic (CL), the topic of the School, has many
applications including the modeling of intelligent systems,
verification of software, and the support of systems for solving
computationally hard problems. Moreover, being founded on mathematical
logic, tools based on CL are themselves amenable to safe optimization
and verification techniques.

The School is aimed at graduate students as well as other interested
researchers, both from university and from industry. It will consist
of several lectures on different aspects of CL; covering both the
theoretical framework and relevant practical perspectives.  Each
lecture will provide the basic notions of its topic before proceeding
to more advanced issues. Final exams in the topics studied will be
available to participants on request.


The school consists of six lectures on different topics, including
theoretical foundations and practical perspectives.  Each lecture
covers one topic from basic notions to more advanced issues.  PhD
students may ask to have a proficiency final exam at the end of the
school. The following lecturers and topics have already been agreed:

* Krzysztof Apt, CWI, Amsterdam, The Netherlands.
  Principles of Constraint Programming

* Patrick Cousot, École normale supérieure (ENS), Paris, France.
  Abstract Interpretation: Theory and Applications

* Javier Esparza, University of Edinburgh, UK.
  Model Checking of Finite and Infinite State Systems

* Veronica Dahl, Simon Fraser University, Vancouver, Canada.
  Logic Programming for Computational Linguistics and Intelligent Systems

* Bart Demoen, Katholieke Universiteit Leuven, Belgium.
  Topics in Logic Programming Implementation

Details of a sixth lecture will be announced shortly.


The lectures will be given in the congress center of Hotel Villa del
Mare, Acquafredda di Maratea (Basilicata, Italy) which is 6 km away
from Maratea.  The hotel is in a beautiful position in front of the
sea, with a swimming pool, a lift to its private beach, cinema-club
and many other facilities.  Maratea is an ancient city on the Gulf of
Policastro, founded during the Greek period.  It is the only portion
of Lucania on the Tyrrhenian sea, situated on one of the most
beautiful parts of the Italian southern coast.


The registration fee covers the lectures, course notes,
full board from the 24th to 30th August and social events.

Early application is _strongly_ recommended.  As this is in the
holiday season, accommodation at Hotel Villa del Mare that is reserved
for participants is limited.  Late applicants may have to stay in
other available local accommodation.

The registration fee covers proceedings, full board and social events.
There is no deadline for late registration, however the number of
participants is limited.

*  Early registration (before May 15th)

      * double room: 900 Eur
      * single room: 1000 Eur

* Late registration (after May 15th)

      * double room: 1000 Eur
      * single room: 1100 Eur

For more information (e.g., fees for accompanying persons) see the
school home page (http://www.cs.unipr.it/ISCL02/).

Grants to help with the registration fee may be available. The
deadline for applying for a grant is May 1st, 2002. To apply for a
grant, please contact the organizers.

Details about the registration procedure will soon be available at the
school home page (http://www.cs.unipr.it/ISCL02/).


The School is sponsored by

* ALP - The Association for Logic Programming

* CologNet - The European Network in Computational Logic

* GULP - The Italian association for Logic Programming.


For further information and updates, please see


or contact the School Organizers at the email address

Roberto Bagnara                   Patricia M. Hill
University of Parma               University of Leeds
Italy                             United Kingdom
bagnara@cs.unipr.it               hill@comp.leeds.ac.uk