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.

• Patrick Cousot, École Normale Supérieure (ENS), Paris, France.  Abstract Interpretation: Theory and Applications

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

• Rina Dechter, University of California at Irvine, USA.  Constraint Processing

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

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

• Nicola Leone, University of Calabria, Italy.  Disjunctive Logic Programming: Knowledge Representation Techniques, Systems, and Applications

The lectures will be given in the congress center of Hotel Villa del Mare, Acquafredda di Maratea (Basilicata, Italy). This 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. Note that lunch will be served in the grill restaurant which is just a few meters from the beach and by the sea.

The hotel is 6 km from Maratea, an ancient city on the Gulf of Policastro founded during the Greek period. This stretch of coastline is the only portion of Lucania on the Tyrrhenian sea and one of the most beautiful in southern Italy.

In order to register, please complete the registration form and email it to the organizers at iscl02@cs.unipr.it. Alternatively, please post or fax the completed form to Pat Hill at the address below.

Early application is strongly recommended. As this is in the holiday season, the 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 the lectures, course notes, full board from the 24th to 30th August and social events. There is no deadline for late registration, however the number of participants is limited and applications will be considered on a FIFO basis.

• Early registration (before May 15th) (now closed)
  • double room: 900 Eur
  • single room: 1000 Eur

• Late registration (after May 15th)
  • double room: 1000 Eur
  • single room: 1100 Eur

• Accompanying persons:
  • double room (adult): 500 Eur
  • single room (adult): 600 Eur
  • children (under 6 years): 250 Eur
  • children (between 6 and 12): 350 Eur
  For babies and very young children, please contact the organizers.

Grants to help with the registration fee may be available. The deadline for applying for a grant was May 1st, 2002. No further grant applications will be considered.

Notice that the School will begin on Sunday morning and finish by midday on Friday. The registration fee includes full board from Saturday evening until Friday morning (6 nights) and transfer from the nearest railway station (Sapri) on the 24th and 30th August.

For further information and enquiries please send an email message to the organizers at iscl02@cs.unipr.it.

• ALP - The Association for Logic Programming
• CoLogNET - The European Network in Computational Logic.
• GULP - The Italian association for Logic Programming
• SICS - The Swedish Institute of Computer Science, home of SICStus Prolog
• Amzi!, home of Amzi! Prolog + Logic Server