(DBWORLD) GULP Int. Summer Sch on L P Perspectives in Hot Research

Asirelli Patrizia (asirelli@rep1.iei.pi.cnr.it)
Mon, 22 Dec 1997 12:08:06 +0100

Please find attached the preliminary announcement of the "GULP
International Summer School on Logic Programming Perspectives in Hot
Research areas" to be held in Acquafredda of Maratea
(Basilicata,ITALY) September 7-12,1998.

Apologies if you receive multiple copies.

<PLEASE DISTRIBUTE> <PLEASE DISTRIBUTE>
______________________________________________________________________

Preliminary Announcement

INTERNATIONAL SUMMER SCHOOL ON
LOGIC PROGRAMMING PERSPECTIVES IN HOT RESEARCH AREAS

Acquafredda of Maratea (Basilicata, Italy) September 7-12,1998.

organized under the auspices of the
Italian Association for Logic Programming (GULP)
http://rep1.iei.pi.cnr.it/people/asirelli/GULP.html

The aim of the school is to provide a high level overview of recent
research lines in some of the most important open research areas where
Logic Programming (LP) techniques have been used, or might be useful.

In particular the courses will be focused on the areas of
Federated/Mediated Databases, Intelligent Agents, Model Checking and
Software Engineering.

The school is addressed to young researchers and PhD students, as well
as to university and industry researchers. The main goal is to give
the participants an insight of the applicability and relevance of LP
techniques, given the state of the art and the main directions of
research in other interesting areas.

Participants are expected to have good knowledge of the fundamentals
of Logic Programming.

The school will take place in the beautiful surroundings of Maratea,
on the Coast of Acquafredda, in the Italian region of Basilicata.

Four courses will be offered of about 6 hours each, with ample time

Please find attached the preliminary announcement of the "GULP
International Summer School on Logic Programming Perspectives in Hot
Research areas" to be held in Acquafredda of Maratea
(Basilicata,ITALY) September 7-12,1998.

Apologies if you receive multiple copies.

<PLEASE DISTRIBUTE> <PLEASE DISTRIBUTE>
______________________________________________________________________

Preliminary Announcement

INTERNATIONAL SUMMER SCHOOL ON
LOGIC PROGRAMMING PERSPECTIVES IN HOT RESEARCH AREAS

Acquafredda of Maratea (Basilicata, Italy) September 7-12,1998.

organized under the auspices of the
Italian Association for Logic Programming (GULP)
http://rep1.iei.pi.cnr.it/people/asirelli/GULP.html

The aim of the school is to provide a high level overview of recent
research lines in some of the most important open research areas where
Logic Programming (LP) techniques have been used, or might be useful.

In particular the courses will be focused on the areas of
Federated/Mediated Databases, Intelligent Agents, Model Checking and
Software Engineering.

The school is addressed to young researchers and PhD students, as well
as to university and industry researchers. The main goal is to give
the participants an insight of the applicability and relevance of LP
techniques, given the state of the art and the main directions of
research in other interesting areas.

Participants are expected to have good knowledge of the fundamentals
of Logic Programming.

The school will take place in the beautiful surroundings of Maratea,
on the Coast of Acquafredda, in the Italian region of Basilicata.

Four courses will be offered of about 6 hours each, with ample time
for discussion. PhD students may ask to have a proficiency final exam
at the end of the school (on Friday/Saturday, September 11/12).

______________________________________________________________________

Speakers

- Sarit Kraus (Bar Ilan University - Israel),
Coordination and Cooperation Among Inteligent Agents

- C.R. Ramakrishnan (SUNY, Stonybrook - USA)
Model Checking based on Logic Programming

- Leon Sterling (University of Melbourne - Australia),
A Logic Programming Perspective on Software Engineering

- V.S. Subrahmanian (University of Maryland at College Park - USA)
Logic-Based Heterogeneous Information Integration

______________________________________________________________________

Directors of the school

Patrizia Asirelli Piero A. Bonatti
Consiglio Nazionale delle Ricerche Universita` di Torino
Via S. Maria, 46 Corso Svizzera 185
56126 Pisa (ITALY) 10149 Torino (ITALY)
Tel: +39-50-593477 Tel: +39-11-7429256
Fax: +39-50-554342 FAX: +39-11-751603
E-mail: asirelli@iei.pi.cnr.it E-mail: bonatti@di.unito.it

______________________________________________________________________

General information

Attendance to the school will be limited to about 50 participants.

All lectures will be in English.

The lectures will be given in the congress centre of Hotel Villa del
Mare, Acquafredda di Maratea (Basilicata - Italy), starting September
7th, at 9 a.m. The 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. You can have a look at the web site:

http://www.wkap.nl/natopco/s_marate.htm.

The town of Maratea is 6 km away from the Hotel. It is an ancient city
on the Gulf of Policastro, founded about the Greek period. It is the
only portion of Lucania on the Tyrrhenian sea, situated in one of the
most beatiful parts of the Italian southern coast.

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

asirelli@iei.pi.cnr.it or bonatti@di.unito.it

See also the school's home page:

http://www.di.unito.it/~bonatti/SCUOLA_GULP/

-----------------------------------------------------------------------
Patrizia Asirelli
IEI-CNR
Via S. Maria, 46
56126 Pisa-Italy
Ph.: 39-50-593477 Fax 39-50-554342 or 39-50-593503
email: asirelli@iei.pi.cnr.it

--------------------------------------------------------------------------
The dbworld list reaches many people, and should only be used for
messages of general interest to the database community.
To subscribe or unsubscribe yourself (or optionally (address)) from
dbworld, send a msg to majordomo@cs.wisc.edu with one of these lines:
subscribe dbworld (address)
unsubscribe dbworld (address)
To find out more options send a msg with the line:
help
--------------------------------------------------------------------------