Second International Summer School in Computational Logic
Acquafredda di Maratea (Basilicata, 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 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 email@example.com. 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.
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
Patricia M. Hill