call for papers, previous message
From: blomme@imecom.imec.be
Subject: ICLP'94 workshop Process-based par. log. prog.: program
Date: Fri, 13 May 1994 13:01:28 GMT
We apologize if you receive this more than once
-----------------------------------------------------------------------
Call for Participation
--------------------------------------------------------------------------
ICLP'94 Post-Conference Workshop on
PROCESS-BASED PARALLEL LOGIC PROGRAMMING
Friday, June 17, 1994
Santa Margherita Ligure,
Genova, Italy
--------------------------------------------------------------------------
PROGRAM (provisional):
8.15 - 8.30: OPENING
8.30 - 10.30: SESSION 1 Chairman: A. Brogi
- K. De Bosschere (Universiteit Gent, Belgium)
Process-Based Parallel Logic Programming: A Survey of the Basic Issues
- P. Ciancarini and M. Gaspari (University of Bologna, Italy)
Parallel Symbolic Computing with the Shared Dataspace Coordination Model
- J.-M. Jacquet (University of Namur, Belgium) and L. Monteiro (Universidade
Nova de Lisboa, Portugal)
Towards Resource Handling in Logic Programming: the PPL Framework and
its Semantics
- H. Taylor (Heriot-Watt University, Britain)
Design of a Resolution Multiprocessor for the Parallel Virtual Machine
10.30 - 11.00: COFFEE BREAK
11.00 - 13.00: SESSION 2 Chairman: J.-M. Jacquet
- V. Ambriola, G.A. Cignoni and L. Semini (Universita di Pisa, Italy)
A Proposal to Merge Object Orientation, Logic Programming,
and Multiple Tuple Spaces
- S. Ferenczi (KFKI-MSZKI, Budapest, Hungary)
Search Tree Unification: Paradigm for Process-based Logic Programs
- I. Futo (ML Consulting, Budapest, Hungary)
The Real-Time Extension of CS-Prolog Professional
- D. Moffat (University of Amsterdam, The Netherlands)
A Poor Man's Co-ordination of Prolog: COP
- A. Lopes, J.F. Costa and D. Montesi (Universidade de Lisboa, Portugal)
Process Semantics for Resolution
-------------------------------------------------------------------------
ORGANIZING COMMITTEE:
Koen De Bosschere (Universiteit Gent, Belgium)
Jean-Marie Jacquet (University of Namur, Belgium)
Antonio Brogi (Universita di Pisa, Italy)
Contact person:
Koen De Bosschere
ELIS, Universiteit Gent
St.-Pietersnieuwstraat 41,
B-9000 Gent,
Belgium
Email: kdb@elis.rug.ac.be
Tel: +32 (9) 264 34 06
Fax: +32 (9) 264 35 94
--------------------------------------------------------------------------
WORKSHOP ORGANIZATION:
----------------------
The workshop will be held in conjunction with ICLP'94.
ICLP'94 is the eleventh international conference on logic programming
and is one of the two major annual international conferences reporting
recent research results in logic programming. The technical program for
the conference will include tutorials, invited lectures, and
presentations of refereed papers and posters. For general information
about attending ICLP'94 and this workshop (registration,
accommodation), please contact the ICLP'94 conference secretariat:
Piera Ponta
Consorzio Genova Ricerche
via dell'Acciaio 139
16152 Genova, Italy
Email: ponta@infmge.ge.infn.it
Phone: +39 10 6514000
Fax: +39 10 6512981, 6503801
REGISTRATION FEES:
For people attending ICLP'94: 25 $
For people *not* attending ICLP'94: 65 $
The registration fee covers refreshments during coffee breaks and a copy
of the proceedings.
LOCATION:
The workshop will be held at the Grand Hotel Miramare in Santa
Margherita Ligure, a lovely small town near Genova (about 30 Km),
renowned for the beautiful natural scenery and its many tourist
facilities. Santa Margherita is also the only access to the world-famous
villages of Paraggi and Portofino, pearls of the Mediterranean
Sea and marine natural park. Not far from Santa Margherita is also the
pleasant resort area of ``Cinque Terre'', consisting of five
picturesque villages on the rocky coast which can be reached by train
or boat only.
The Grand Hotel Miramare is a classic-style building, conveniently
situated at one end of the Santa Margherita gulf, with private beach,
private garden, private swimming pool, and at a walking distance from
Paraggi (Km. 2) and Portofino (Km. 4).
TRAVEL INFORMATION:
The Grand Hotel Miramare is in walking distance (20 minutes - 1/2 hour)
from the Santa Margherita railway station. Santa Margherita is easily
reachable by train or bus ( 1/2 hour) from Genova, in turn easily
reachable by train, car and plane. The airport of Genova is daily
connected with London, Zurich, Munich, Bruxelles, Frankfurt, Rome and
Naples. From the airport of Genova it is possible to reach the railway
stations of Genova (Brignole and Principe) by bus. The cost of the ticket
is Lit. 4000.