Second International Summer School in Computational Logic
ISCL 2002

Acquafredda di Maratea (Basilicata, Italy)
August 25-30, 2002

Aim and Scope

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 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 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.

To benefit from the reduced rate, you must ensure that the payment is made before June 28th. See the registration form for details of how to pay.

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

Organizers of the School

Roberto Bagnara
Dipartimento di Matematica
UniversitÓ di Parma
Via M. D'Azeglio, 85/A
43100 Parma (Italy)
Tel: +39 0521 032317
Fax: +39 0521 032350


Patricia M. Hill
School of Computing
University of Leeds
Woodhouse Lane
LS2 9JT Leeds (United Kingdom)
Tel: +44 113 3436807
Fax: +44 113 3435468

Organized under the auspices of and contributions from: