call for papers, previous message

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


                     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



    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,
Tel: +32 (9) 264 34 06
Fax: +32 (9) 264 35 94



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
  Phone: +39 10 6514000
  Fax: +39 10 6512981, 6503801


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.


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


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.