Int’l Summer School 1996


ALGHERO (Sardegna),
June 24-29,1996

Organized under the auspices of the Italian Association for Logic Programming (GULP)

Two pictures from the school. Among many others you can recognize the organizers Nicoletta Cocco and Gianfranco Rossi. Right click on the image to view it.

Directors of the school

  • Nicoletta COCCO Dip. di Matematica Applicata ed InformaticaUniversity of Venezia
  • Gianfranco ROSSI Dip. di MatematicaUniversity of Parma

Aim of the School

The aim of the school is to provide a high level overview of recent research lines in the field of Logic Programming, which may also have strong connections with other related areas, such as Artificial Intelligence.The school is addressed to young researchers and PhD students, as well as to university and industry researchers who wish to stay in touch with latest developments in the Logic Programming field.
Participants are expected to have good knowledge of the fundamentals of Logic Programming.The school will take place in the beautiful surroundings of Alghero.
In this place we had two previous editions of the school on LP, in 1988 and 1990, and they have been very pleasant and successful.Four courses will be offered of about 5 to 8 hours each, with ample time for discussion. PhD students may ask to have a proficiency final exam at the end of the school (on Saturday, June 29th).



General Information

Attendance to the school will be limited to about 50 participants.
Applications will be considered on a first-come, first-serve basis.All lectures will be in English.The lectures will be given in the congress centre of Hotel Carlos V, Lungomare Valencia, Alghero (Sardegna – Italy), starting June 24th, at 9 a.m. The hotel is quiet, with a swimming pool and tennis courts.
The town of Alghero is at walking distance. It is a beautiful catalan town with nice restaurants, shops and night life, famous for the coral artefacts and for the wonderful coast and beaches surrounding it.
Sardegna is one of the most fascinating part of Italy both for its history and art and for its nature and sea resorts.A limited number of scholarships covering the participation fee will be made available to qualified students depending on the amount of funds at our disposal. To apply for a scholarship participants should fill the Application Form
and return it together with a Curriculum Vitae.One afternoon will be reserved for discussions, presentations of open problems, and short talks given by participants on work in progress
in the field of LP. Participants willing to give a talk should send an abstract of at most 2 pages by e-mail to

Application and Fees

People wishing to participate should fill the Application Form and
return it to:
Gianfranco ROSSI Universita’ di ParmaDipartimento di MatematicaVia M.D’Azeglio, 85/A43100 PARMA (ITALY)Tel.: ++39.521.902309
Fax: ++39.521.902350 or (preferably) send it by e-mail to:

Please include e-mail address and/or fax number, if available.
The participation fee is 1.300.000 (1.500.000) Italian Liras per person for accommodation in a double (single) room. It includes attendance to the school, accommodation and meals (breakfast and lunch) from Sunday 23rd to Saturday 29th. Participants will be requested to join the GULP association (regular, 70.000 Lit.; student, 35.000 Lit.).

Fees will be refunded in full for any written cancellation received before June, 10th. No refund will be made after this date.

Accommodation for accompanying persons could be provided in the same hotel, depending on the availability of rooms, at the price of 600.000 (720.000) Italian Liras per person for accommodation
(including breakfast and lunch) in a double (single) room, from Sunday 23rd to Saturday 29th.

For further information and inquires concerning participation please send an e-mail message to either:


Applications should be received by April 20th, 1996. Applicants will be informed about acceptance by April 30th, 1996. Payment must be done before May 10th, 1996. Awarding of scholarships will be notified by May 20th, 1996.


The school has been organized with the financial support of:

  • Comitato Nazionale per le Scienze Matematiche – CNR
  • Comitato Nazionale per le Scienze e la Tecnologia dell’Informazione – CNR
  • Dipartimento di Matematica – Università di Parma
  • The European Network in Computational Logic – COMPULOG NET
  • CNUCE – Pisa
  • Cassa di Risparmio di Reggio Emilia

List of

(Updated June 3, 1996)
Nicos Angelopoulos
Matteo Baldoni
Dimitri Boulanger
Simone Contiero contiero@DI.Unipi.IT
Agostino Cortesi
Giovanni Criscuolo
Roberta Gori
Rao Krishna
Stefano Leonesi
Naomi Lindenstrauss
Maurizio Martelli
Paolo Merialdo
Michela Milano
René Moreno
Andrea Omicini
Maurizio Piaggio
Clara Pizzuti
Katalin Prasser
Alessandra Raffaetà raffaeta@DI.Unipi.IT
Rafael Ramirez
Giovanni Rumolo
Francesca Scozzari
Giuseppe Sindoni
Fausto Spoto spoto@DI.Unipi.IT
Diana Turko
Paolo Volpe
Agata Wrzos-Kaminska
George Xirogiannis
Floriano Zini
(To be confirmed)
Madalina Moldovan
Volkov Vladislav Anatol’evich


Course Schedule

Every day the lectures are 4 hours in the morning and two hours in the afternoon, except monday morning in which the first two hours are for registration of partecipants and wednesday afternoon which is free.

Monday, June 24
  • 8:40 – 10:40 – Registration
  • 10:40 – 11:00 – coffee-break
  • 11:00 – 13:00 – J. Jaffar
  • 13:00 – 17:00 – lunch and pause
  • 17:00 – 17:20 – coffee-break
  • 17:20 – 18:20 – G. Gottlob
  • 18:20 – 19:20 – M. Gelfond
Tuesday, June 25
  • 8:40 – 10:40 – J. Jaffar
  • 10:40 – 11:00 – coffee-break
  • 11:00 – 13:00 – N. Lavrac, P. Flach
  • 13:00 – 17:00 – lunch and pause
  • 17:00 – 17:20 – coffee-break
  • 17:20 – 19:20 – M. Gelfond
Wednesday, June 26
  • 8:40 – 10:40 – N. Lavrac, P. Flach
  • 10:40 – 11:00 – coffee-break
  • 11:00 – 13:00 – G. Gottlob
  • 13:00 lunch
  • free afternoon
  • 20:30 banquet
Thursday, June 27
  • 8:40 – 10:40 – M. Gelfond
  • 10:40 – 11:00 – coffee-break
  • 11:00 – 13:00 – N. Lavrac, P. Flach
  • 13:00 – 17:00 – lunch and pause
  • 17:00 – 17:20 – coffee-break
  • 17:20 – 19:20 – J. Jaffar
Friday, June 28
  • 8:40 – 10:40 – N. Lavrac, P. Flach
  • 10:40 – 11:00 – coffee-break
  • 11:00 – 13:00 – J. Jaffar
  • 13:00 – 17:00 – lunch and pause
  • 17:00 – 17:20 – coffee-break
  • 17:20 – 19:20 – G. Gottlob

Travelling Information

Connections from Alghero airport to Hotel Carlos V: there are regular buses in coincidence with the flights which go to the town and stop in three places.From the stop in piazza Porta Terra (town centre) one can get a taxi or the town bus AF to the hotel.

Fill the Application Form
See or Download the Application Form
LIA Home Page
DEIS Home Page