INTERNATIONAL SUMMER SCHOOL ON ADVANCES IN LOGIC PROGRAMMING

ALGHERO (Sardegna), June 24-29,1996


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

Aim

Speakers

Directors

General Information

Application and Fees

Deadlines

Sponsors

List of Participants

Course Schedule

Travelling Information


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


Speakers


Directors of the school

Nicoletta COCCO
Dip. di Matematica Applicata ed Informatica
University of Venezia
Gianfranco ROSSI
Dip. di Matematica
University of Parma

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 cocco@moo.dsi.unive.it.


Application and Fees

People wishing to participate should fill the Application Form and return it to:
Gianfranco ROSSI
Universita' di Parma
Dipartimento di Matematica
Via M.D'Azeglio, 85/A
43100 PARMA (ITALY)
Tel.: ++39.521.902309
Fax: ++39.521.902350
or (preferably) send it by e-mail to:
gianfr@prmat2.math.unipr.it
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:

cocco@moo.dsi.unive.it or gianfr@prmat2.math.unipr.it

Deadlines

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.

Sponsors

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 Participants

(Updated June 3, 1996)
Nicos Angelopoulosnicos@soi.city.ac.uk
Matteo Baldonibaldoni@di.unito.it
Dimitri Boulangerdima@orione.cnuce.cnr.it
Simone Contierocontiero@DI.Unipi.IT
Agostino Cortesicortesi@dsi.unive.it
Giovanni CriscuoloVANNI@napoli.infn.it
Roberta Gorigori@di.unipi.it
Rao Krishnakrishna@mpi-sb.mpg.de
Stefano Leonesitulipani@camvax.unicam.it
Naomi Lindenstraussnaomil@cs.huji.ac.il
Maurizio Martellimartelli@rose.disi.unige.it
Paolo Merialdomerialdo@inf.uniroma3.it
Michela Milanommilano@deis.unibo.it
René Morenomoreno@di.unipi.it
Andrea Omiciniaomicini@deis.unibo.it
Maurizio Piaggiopiaggio@dist.dist.unige.it
Clara Pizzuticlara@si.deis.unical.it
Katalin Prasserprasser@inf.tu-dresden.de
Alessandra Raffaetàraffaeta@DI.Unipi.IT
Rafael Ramirezramirez@cs.bris.ac.uk
Giovanni Rumolorumolo@inf.uniroma3.it
Francesca Scozzariscozzari@di.unipi.it
Giuseppe Sindonisindoni@inf.uniroma3.it
Fausto Spotospoto@DI.Unipi.IT
Diana Turkoturkod@cs.man.ac.uk
Paolo Volpevolpep@di.unipi.it
Agata Wrzos-Kaminskaagata@idt.unit.no
George XirogiannisG.Xirogiannis@hw.ac.uk
Floriano Zinizini@disi.unige.it
(To be confirmed)
Madalina Moldovanmm20id@scs.ubbcluj.ro
Volkov Vladislav Anatol'evichvlad@d105.icyb.kiev.ua

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.

On-Line Fill the Application Form
Off-Line See or Download the Application Form
Send a Note!
LIA Home Page DEIS Home Page