ICLP'94: Final Program and Registration (Italy, Jun 13-18)

vr@cs.brown.edu (Viswanath)
Tue, 10 May 1994 05:29:08 GMT

          From comp.compilers

Related articles
ICLP'94: Final Program and Registration (Italy, Jun 13-18) vr@cs.brown.edu (1994-05-10)
| List of all articles for this month |

Newsgroups: comp.ai,comp.theory,comp.lang.prolog,comp.compilers,comp.software-eng
From: vr@cs.brown.edu (Viswanath)
Keywords: conference, logic, prolog
Organization: Brown University Department of Computer Science
Date: Tue, 10 May 1994 05:29:08 GMT


                          International Conference on Logic Programming

                                                              ICLP '94
                                Santa Margherita Ligure, Italy
                                        13-18 June 1994

        Sponsored by the Association of Logic Programming
                                  and the Prolog Vendors Group

        Organized by: DISI - University of Genova
                                    DIST - Univesity of Genova
                                    IMA-CNR, Genova

        Supported by: CNR
Final Program
General Chair
    Maurizio Martelli, DISI, University of Genova

Program Chair
    Pascal Van Hentenryck, Brown University

Workshop Chair
    Catuscia Palamidessi, DISI, University of Genova

Poster Chair
    Lee Naish, University of Melbourne

Publicity Chair
    Fosca Giannotti, CNUCE-CNR, Pisa

Organizing Committee
    Rosa Maria Bottino, IMA-CNR, Genova
    Giorgio Delzanno, DISI, University of Genova
    Giuseppe Marino, DIST, University of Genova
    Alessandro Messora, DISI, University of Genova
    Giancarlo Colla, DIST, University of Genova

Program Committee
    Khayri Ali, Sweden Maurice Bruynooghe, Belgium
    Philippe Codognet, France Yves Deville, Belgium
    Herve Gallaire, France Chris Hogger, UK
    Joxan Jaffar, USA Giorgio Levi, Italy
    Jan Maluszynski, Sweden Kim Marriott, Australia
    Maurizio Martelli, Italy Lee Naish, Australia
    Frank Pfenning, USA David Poole, Canada
    Antonio Porto, Portugal Raghu Ramakrishnan, USA
    Mario Rodriguez-Artalejo, Spain Gert Smolka, Germany
    V.S. Subrahmanian, USA Peter Szeredi, Hungary
    Evan Tick, USA Kazunori Ueda, Japan
    Pascal Van Hentenryck , USA Peter Van Roy, France
    Andrei Voronkov, Sweden Mark Wallace, Germany
    Rong Yang, UK

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


Welcome to the International Conference on Logic Programming - 1994

Logic programming originates from the discovery that a subset of predicate
logic could be given a procedural interpretation which was first embodied
in the programming language Prolog. The unique features of logic
programming make it appealing for numerous applications in artificial
intelligence, computer-aided design and verification, databases and
operations research as well as to explore parallel and concurrent
computing. The last two decades have witnessed substantial developments in
this field from its foundation to implementation, applications, and the
exploration of new language designs.

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. Sponsored by the Association of
Logic Programming (ALP) and the Prolog Vendors Group, it has been
organized by DISI, DIST (departments of the University of Genova) and IMA
(Institute for Applied Mathematics of CNR); the CNR (National Research
Council of Italy), with its institutes and national committees, has given
a strong support to the conference.

The technical program for the conference includes 43 refereed papers
(arranged in two parallel sessions), various poster presentations and 4
invited lectures by Z. Manna (Stanford), A. Mackworth (UBC), J. Wing (CMU)
and S. Peyton Jones (Glasgow). The conference presents also 4 advanced
tutorials and an industrial session with important contributions from
people really involved in applications. The opportunities to discuss
various scientific themes during this week will be enhanced by the
organization of 12 post conference workshops on some of the most
up-to-date subjects in the field.

The opportunity to enjoy Italy and, hopefully, to have also a good time
during the conference is given by the choice of the place and by some
events scheduled as part of the social program. ICLP'94 takes place in
Santa Margherita Ligure, a small town in the Italian Riviera not far from
Genova, the largest city of Liguria. Close to the conference site is the
worldwide famous village of Portofino, pearl 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 social program includes an excursion to one of the oldest villages in
the nearby coast (S. Fruttuoso) which also can be reached by boat only.
The banquet will be held in one of the most important old building in
Genova with the possibility to visit it.

Italy is well known to be attractive from many points of view,
particularly in June, but this is not the main motivation for having for
the first time ICLP in Italy. Our Logic Programming community is one of
the largest in the world as witnessed by the GULP association (the Italian
society affiliated to ALP) and this event is the result of all the efforts
that many people have put into the development of Logic Programming and

On behalf of all the colleagues who contribute to the organization of
ICLP'94, I welcome all participants and wish them a nice and successful
conference. Maurizio Martelli


Scientific Programme


18.00-21.00 Registration

19.30 Welcome Cocktail


8.30-9.00 Welcome Session

9.00-10.00 Invited Talk
The Role of Logic Programming in Software Engineering
J. Wing (CMU)
chair: H. Gallaire

10.00-10.30 Coffee Break

10.30-12.30 Session
Semantics I
Chair: G. Levi

    * Splitting a Logic Program
        V. Lifschitz, H. Turner

    * Language Independence and Language Tolerance in Logic Programs
        N. McCain, H. Turner

    * Computing Stable Models by Program Transformation
        J. Stuber

    * Declarative Interpretations reconsidered
        K. Apt, M. Gabbrielli

10.30-12.30 Session
Chair: K. Ali

    * ACE: And/Or-parallel Copying-based Execution of Logic Programs
        G. Gupta, E. Pontelli, M. Hermenegildo, V. Santos Costa

    * Hybrid Tree Search in the Andorra Model
        R. Moolenaar, B. Demoen

    * Parallel CLP on Heterogeneous Networks
        S. Mudambi, J. Schimpf

    * PDP: Prolog Distributed Processor for Independent AND/OR parallel
        Execution of Prolog
        L. Araujo, J. Ruz

12.30-14.00 Lunch Break

14.00-15.30 Tutorial
Chair: R. Yang

    * Implementation of Andorra-based Languages
    S. Janson

14.00-15.30 Tutorial
Chair: C. Hogger

    * Synthesis of Logic Programs
    K.K. Lau, G. Wiggins

15.30-16.00 Coffee Break

16.00-17.30 Session
Chair: P. Van Roy

    * On the Scheme of Passing Arguments in Stack Frames for Prolog
    N. Zhou

    * Output Value Placement in Moded Logic Programs
    P. Bigot, D. Gudeman, S. Debray

    * Native Code Compilation in SICStus Prolog
    R.C. Haygood

16.00-17.30 Section
Parallel Actions
Chair: M. Rodriguez Artalejo

    * Representing Actions in Equational Logic Programming
    M. Thielscher

    * Representing continuous change in the abductive event calculus
    K. Van Belleghem, M. Denecker, D. De Schreye

    * Concurrency and plan generation in a linear logic programming language
    with a sequential operator
    A. Guglielmi

18:00-19:30 ALP General Meeting
followed by GULP Meeting


8.45-9.45 Invited Talk
S. Peyton-Jones (Glasgow)
Manipulating Mutable State in a Purely Functional Language
Chair: E. Tick

9.45-10.00 Coffee Break

10.00-12.00 Session
          Semantics II Chair: A. Voronkov

    * Computing Annotated Logic Programs: Theory and Implementation
    S. Leach, J. Lu

    * Conditonal Logic Programming
    D. Gabbay, L. Giordano, A. Martelli, N. Olivetti

    * Causal Models of Disjunctive Logic Programs
    J. Dix, G. Gottlob, V. Marek

    * An Axiomatic Approach to Se-mantics of Disjunctive Programs
    J. Dix, M. Mueller

10.00 - 12.00 Session
Constraints I
Chair: J. Jaffar

    * Finding Conflict Sets and Backtrack Points in CLP(R)
    J. Burg, S. Lang

    * Entailment of Finite Domain Constraints
    B. Carlson, M. Carlsson, D. Diaz

    * Notes on the Design of an Open Boolean Solver
    A. Rauzy

    * Improved CLP Scheduling with Task Intervals
    Y. Caseau, F. Laburthe

12.00-13.15 Lunch Break

13.15-16.15 Industrial Section
Char: P. Van Hentenryck
* Application of Logic Programming
at British Telecom
B. Crabtree
* Overview of the Prolog Application Conference
L. Sterling
* Industrial Applications of CLP
M. Dincbas
* Industrial Applications of Declarative
Programming in Sweden
H. Nilson

17.00 Excursion


9.00 -10.00 Invited Talk
Z. Manna (Stanford)
Specification and Verification
of Real-Time Systems
Chair: V.S. Subrahmanian

10.00 -10.30 Coffee Break

10.30-12.30 Session
Abduction & Negation
Chair: M. Wallace

    * Equivalence between Disjunctive and Abductive Logic Programs
    C. Sakama, K. Inoue

    * The Acceptability Semantics for Logic Programs: Negation as Failure as a
    general non-monotonic reasoning framework
    A.L. Kakas, P. Mancarella, P.M. Dung

    * A Bottom-up Semantics for Constructive Negation
    A. Bossi, M. Fabris, M.C. Meo

    * Default Rules: An Extension of Constructive Negation for Narrowing-based
    J. Moreno-Navarro

10.30-12.30 Session
Chair: M. Bruynooghe

    * Depth-k Sharing and Freeness
    A. King, P. Soper

    * Towards a Practical Full Mode Inference System for CLP(H,N)
    V. Dumortier, G. Janssens

    * A proof method for runtime properties of Prolog Programs
    D. Pedreschi

    * Fast and Precise Regular Approximations of Logic Programs
    J. Gallagher, D.A. de Waal

12.30-14.00 Lunch Break

14.00-15.30 Tutorial
Chair: P. Codognet

    * Abduction and Abductive Logic Programming
    A.C. Kakas, P. Mancarella

14.00-15.30 Tutorial
Chair: A. Porto

    * Modularity in Logic Programming
    E. Lamma, P. Mello

15.30-16.00 Coffee Break

16.00-17.30 Session
Higher-Order and Meta Programming
Chair: J. Lloyd

    * Ambivalent logic as the semantic basis of metalogic programming
    Y. Jiang

    * Higher-order Aspects of Logic Programming
    U. Reddy

    * Higher-Order Polymorphic Unification for Logic Programming
    L. Caires, L. Monteiro

16.00-17.30 Session
Chair: U. Nilsson

    * A Database Interface for Complex Objects
    M. Holsheimer, R. de By, H. Ait-Kaci

    * A slick procedure for integrity checking in deductive databases
    H. Decker, M. Celma

    * LPDA: Another look at Tabulation in Logic Programming
    B. Lang, E.V. de la Clergerie

18.30 Banquet


9.00-10.00 Invited Talk
A. Mackworth (UBC)
Robotic Systems
Chair: Y. Deville

10.00-10.30 Coffee Break

10.30-11.30 Poster Session

11.30-13.30 Session
Constraint II
Chair: G. Smolka

    * Constraint Solving by Narrowing in Combined Algebraic Domains
    H. Kirchner, C. Ringeissen

    * A Grammatical Approach to DCG Parsing
    F. Barthelemy

    * Compiling Intensional Sets in CLP
    P. Bruscoli, A. Dovier, E. Pontelli, G.F. Rossi

11.30-13.30 Session
Transformation & Synthesis
Chair: J. Maluszynski

    * The Halting Problem for Deductive Synthesis of Logic Programs
    K-K. Lau, M. Ornaghi, S-A. Tarnlund

    * A New Transformation for Concurrent Logic Languages
    K. Kumon, K. Hirata

    * Compiling Control Revisited: A New Approach based upon Abstract
    D. Boulanger, D. De Schreye

    * Completeness of Some Transformation Strategies for Avoiding Unnecessary
        Logical Variables
    M. Proietti, A. Pettorossi


Post-Conference Workshops Schedule



9.00 - 18.00

  W2: Verification and analysis of (concurrent) logic languages

  W5: Non-monotonic Extensions of Logic Programming:
              Theory, Implementation, and Applications

  W9: Second ICLP-Workshop on Deductive Databases -
                Deductive Databases and Logic Programming

8.00 - 13.00

  W1: Process-based Parallel Logic Programming

  W4: Sixth Workshop on Logic Programming Environments

14.00 - 19.00

  W3: Logic and Reasoning with Neural Networks

  W6: Parallel and Data-Parallel Execution of Declarative Languages



9.00 - 18.00

W7: Applications of Logic Programming to Software Engineering

W8: Integration of declarative Paradigms

W10: Proof-Theoretical Extensions of Logic Programming

W11: Logic programming and education

W12: Legal Application of Logic Programming


Workshops Descriptions


Workshop W1
Process-Based Parallel Logic Programming

                K. De Bosschere, Universiteit Gent, Belgium
J.-M. Jacquet, University of Namur, Belgium
A. Brogi, Universit` di Pisa, Italy

                Koen De Bosschere
ELIS, Universiteit Gent
St.-Pietersnieuwstraat 41,
B-9000 Gent,
Email: kdb@elis.rug.ac.be

Several process-based parallel logic programming languages (e.g.,
Delta-Prolog, CS-Prolog, Multi-Prolog and Shared-Prolog) have been
proposed as an alternative to goal-based (and/or) parallel execution
models for logic programs. The main features of these languages are
explicit process creation and explicit communication based on channels or
blackboards. The workshop is aimed at being a forum for discussing the
various topics of process-based parallel LP, ranging from theory to

Workshop W2
Verification and Analysis of (Concurrent) Logic Languages

                F.S. de Boer, Free University Amsterdam,
The Netherlands
M. Gabbrielli, Universit` di Pisa

                Frank S. de Boer
Free University
de Boelelaan 1081
1081 HV Amsterdam, The Netherlands
E-mail: frankb@cs.vu.nl

This workshop aims at a discussion of the analysis and correctness of
logic programs and their concurrent (constraint) extensions. More
specifically, we are interested in proof methods based on abstract
interpretation and the applicability of methods developed in different
programming paradigms, like process algebras, Hoare logics, etc. The
workshop also includes discussion of techniques for the development of
(concurrent) logic programs.

Workshop W3
Logic and Reasoning with Neural Networks

                Franz Kurfess, University of Ulm, Germany
Alessandro Sperduti, University of Pisa, Italy

                Franz Kurfess
Dept. of Neural Inf. Proc.,
D-89069 Ulm, Germany.

The goal of the workshop is to initiate discussions and foster interaction
between researchers interested in the use of neural networks and
connectionist models for various aspects of logic and reasoning. There are
a number of domains where thecombination of neural networks and logic
opens up interesting perspectives: methods for reasoning, know-ledge
representation, integration of symbolic and neural components,
implementation techniques.

Workshop W4
Sixth Workshop on Logic Programming Environments

                Markus Fromherz, Xerox PARC Palo Alto, USA
Anthony J. Kusalik, University of Saskatoon, Canada
Oysten Nytro, University of Trondheim, Norway
Steven Prestwich, ECRC Munich, Germany

                Anthony J. Kusalik
Dept. of Comp. Sci.,
Saskatoon, Saskatchewan
S7N 0W0 Canada.

This workshop will provide a forum for researchers and logic programming
system developers to exchange ideas and results on all aspects of
environments for logic programming. This includes work related to design
issues, new techniques and tools, and the solution of noteworthy problems
arising, for example, from new logic programming languages or interesting
application areas. Both state-of-the-practice and state-of-the-art
presentations are welcome.

Workshop W5
Non-monotonic Extension of Logic Programming:
Theory, Implementation and Applications

                Jurgen Dix, University of Koblenz, Germany
Luis Moniz Pereira, Univ. Nova de Lisboa, Portugal
Teodor Przymusinski, University of California
Riverside, USA

                Jurgen Dix
Dept. of Comp. Sci.,
Rheinau 1, 56075 Koblenz, Germany.

Logic programs rely on a non-monotonic operator, often referred to as
negation by failure. The non-monotonicity of this operator allows us to
view logic programs as special non-monotonic theories and thus makes it
possible to draw from the extensive research in the area of non-monotonic
reasoning. This workshop focusses on non-monotonic extensions of logic
programming and will be concerned with all of the three aspects of Theory,
Implementation, and Applications.

Workshop W6
Parallel and Data-Parallel Execution of Declarative Languages

                Jonas Barklund, University of Uppsala, Sweden
Bhat Jayaraman, SUNY Buffalo, USA
Jiro Tanaka, University of Tsukuba, Japan

                Jonas Barklund
Computing Science Dept., Box 311,
S-751 05 Uppsala, Sweden.

The workshop will focus on language constructs, implementation technology,
program analysis and practical experiences of declarative programming
languages on parallel computers. There will be an emphasis on data
parallel computation (not restricted to SIMD computation) and other
massively parallel computation models. It is expected that logic
programming languages will be more represented than, e.g., functional
programming languages, but we would consider participation from these
neighbouring fields valuable.

Workshop W7
Applications of Logic Programming to Software Engineering

   P. Ciancarini, Universit` di Bologna, Italy
L. Sterling, Case Western Reserve
University, Cleveland, USA

                Paolo Ciancarini
Dip. di Matematica,
P. di Porta S. Donato, 5, 40127 Bologna, Italy.

We will discuss which features of logic programming are most useful for a
software engineer, and which software engineering applications have been
already developed based on a logic programming approach. Suggested topics
are: Requirement analysis, specification and design based on logic
programming, software engineering environments including rule-based
components, Prolog-based tools, software process modeling based on logic
languages, and Logic and Object-oriented programming methods.

Workshop W8
Integration of Declarative Paradigms

                Hassan Ait-Kaci, Simon Fraser University, Canada
Michael Hanus, MPI Saarbr|cken, Germany
Juan Jose' Moreno Navarro, Univ. of Madrid, Spain

                Juan Jose' Moreno Navarro
Facultad de Informatica,
Campus de Montegancedo s/n,
Boadilla del Monte 28660 Madrid, Spain.

The interest on the integration of declarative paradigms and, in
particular, the integration of functional and logic programming, has been
spurred anew, especially for what concerns efficient implementation. The
aim of this workshop is to bring together researchers from different
communities as well as to give the logic programming community an idea of
recent advances in the area. A non-exhaustive list of topics is: language
features, semantics, execution principles, implementation issues, abstract
interpretation of integrated languages, environments for integrated

Workshop W9
Second ICLP-Workshop on Deductive Databases -
Deductive Databases and Logic Programming

                Natraj Arni, InferData Corp. Vaustin, USA
Ulrich Geske, GMD-FIRST Berlin, Germany
Fosca Giannotti, CNUCE-CNR Pisa, Italy
Els Laenens, Univ. Antwerp, Belgium
Dietmar Seipel, Univ. Tuebingen, Germany
Mark Wallace, ECRC Munich, Germany

                Dietmar Seipel,
Tuebingen Univ.,
Sand 13, D - 72076 Tuebingen, Germany.

Deductive databases use logic programming as a powerful declarative
language for accessing and maintaining large amounts of data. Recent
research results in logic programming are useful for extending the power
and efficiency of deductive database systems. Topics of the workshop are:
disjunctive DBs; sets, types and aggregation; abstract interpretations and
program transformations; non-deterministic extensions of logic DB
languages; non-monotonic deduction; constraint reasoning in DBs;
subsumption; expressiveness of query languages; query optimization and
evaluation; logics of active DBs; updates and knowledge acquisition.

Workshop W10
Proof-Theoretical Extensions of Logic Programming
                Roy Dyckhoff, University of St. Andrew, Scotland
Lars-Henrik Eriksson, SICS Stockholm, Sweden
Alberto Momigliano, Carnegie Mellon University, USA
Mario Ornaghi, Universit` di Milano, Italy

                Alberto Momigliano
CMU, Pittsburgh, PA 15213-3890, U.S.A.

The workshop will provide a forum to discuss the use of proof-theoretical
techniques in logic programming as well as the influence of proof theory
on the future development of this field. Topics include proof-theoretical
foundations of logic programming, languages based on proof theory and
applications. Critical and comparative papers are also welcome.

Workshop W11
Logic programming and education

                Rosa Maria Bottino, IMA-CNR Genova, Italy
   Paola Forcheri, IMA-CNR Genova, Italy
Maria Teresa Molfino, IMA-CNR Genova, Italy

                Rosa Maria Bottino
IMA, Via De Marini 6,
16149 Genova, Italy.

The workshop will focus onto two different aspects of the research
concerned with the use of logic programming, in particular of Prolog, in
education. >From one hand we consider issues and problems related to the
teaching (and learning) of Prolog: problems in understanding Prolog,
misconceptions of novices, ways of representing the behaviour of Prolog,
problems of supporting program construction and debugging, etc. On the
other hand we consider the opportunities offered by Prolog as a tool for
the implementation of classroom products, such as modelling tools,
tutoring systems, problem solvers etc.

Workshop W12
Legal Application of Logic Programming

                Carlo Biagioli, IDG Firenze, Italy
Giovanni Sartor, IDG Firenze, Italy
Daniela Tiscornia, IDG Firenze, Italy

                Daniela Tiscornia
IDG, Via Panciatichi 56/16,
50127 Firenze, Italy.

The workshop is dedicated to the use of logic programming methodologies in
modelling legal knowledge and legal reasoning. Main topics are: legal
knowledge represention, abductive model of legal reasoning, metalevel
legal reasoning, default reasoning, deontic logic, arguments construction;
beliefs revision; analogical reasoning; case-based reasoning.


Tuesday, June 14
17.00-20.00 Excursion by boat to San Fruttuoso di Camogli, visit to the
Doria Family Abbey and cocktail. Minimum participants 30.

Wednesday, June 15
18.30 Banquet at Palazzo Ducale of Genova

Participation fees are the following (in US $):

Social dinner Excursion

ICLP'94 participants included in the 30
registration fee

Accompanying persons 85 30

Delegates and accompanying persons interested in participating in the
social program are
requested to specify it in the attached registration form.

Venue of the Conference
ICLP'94 will be held in Santa Margherita Ligure at the Grand Hotel
Miramare, which is
located at about 1 km from the Railway Station.
Full address of the Hotel is the following:
Via Milite Ignoto 30, 16038 Santa Margherita Ligure (GE), Italy
tel. +39 185 287013, fax +39 185 284651

Travelling to Santa Margherita Ligure
* by plane
The International Airport "C. Colombo of Genova" is well connected to the
main European cities. Genova is located about 25 Kilometers from
Santa Margherita Ligure.
Shuttle busses connect the airport to the terminals of Porta Principe and
Brignole railway stations.
Contact the conference Secretariat for train time-table from Genova to
Santa Margherita (the trip takes about 20 minutes).

* by train
Piazza Principe and Brignole are the main railway stations in Genova: the
former is located in the western area of the city, the latter in the eastern
area. Many trains from Milano stop only at Piazza Principe:
Brignole station (from which all trains to Santa Margherita depart) can be
reached by bus or by train.
* by car
Santa Margherita can be reached via highway A12 (Livorno-Genova). The exit
is Rapallo. Then follow indications for Santa Margherita-Portofino.

Registration fees
The attached registration form must be complete and returned to the
Conference Secretariat
  before May 28, 1994.

The registration fees are the following (in US $):

Conference before May 28, 1994 after May 28, 1994

ALP Members (*) 400 470

Non-Members (**) 430 500

Students (***) 145 170

Workshops ICLP'94 Participants non Participants

half day workshop 25 65

full day workshop 40 80

The registration fee for participants include attendance to the
confe-rence, coffee and
tea during breaks, the social dinner, as well as a copy of the proceedings.
The student fee does not include the social dinner.

(*) All ALP members are eligible for the discount of the registration
fee. Members must include the membership/organization number
in order to receive the discount.

(**) People who want to join or renew their membership to ALP or
GULP for 1994/1995 must tick the appropriate space in the
registration form and pay the Non-Members fee.
Recall that GULP is affiliated to ALP, therefore GULP members are
also ALP members.

(***) All students must submit proof of student status by enclosing a
photocopy of the student identification or a letter from the advisor

The amount due for participation in the conference, in the workshops and in
the social program can be paid (in US $) as follows:

* by cheque made payable to Consorzio Genova Ricerche, Via dell'Acciaio
139, 16152 Genova, Italy

* by money transfer to Consorzio Genova Ricerche,
            current account n. 21503/20 banca CARIGE Ag. 21, Genova, Italy

* by cash at the registration desk (in this case no discount will be applied)

Credit cards cannot be accepted

Please make sure that your payment includes any banking or other fees, so
that we receive the correct amount.


A limited number of grants is available for young researchers and/or for
researchers from the Eastern and the Developing Countries. If you are
interested in receiving a grant please attach a formal request to your
registration form.


For cancellations communicated (in writing) to the conference secretariat
before June 4, 1994, all fee will be refunded minus a 15% deduction.

Hotel Accommodation

All hotels reserved for the conference are located within walking distance
from the Grand Hotel Miramare.
Hotels at the following rates (in Italian Lire) have been reserved for ICLP
single room double room

*** 120.000/180.000 200.000/280.000

*** 70.000/90.000 110.000/140.000

** 55.000/75.000 90.000/120.000

Please indicate your preference in the attached Hotel Accommodation Form.
Every effort will be made to meet participants' preferences on a
first-come/first-served basis. Confirmation of the reservation with all
details on the hotel and its location will be given after receival of the
hotel accommodation form. For an accommodation different from those
proposed, please contact the Conference Secretariat. The hotel
accommodation will be considered as definitely confirmed only after
receival of the registration form and after payment of the participation
fee. Should the hotel accommodation form not be followed by any
confirmation of participation, the hotel reservation will be cancelled.


                                                REGISTRATION FORM


Please complete (block letters) and return to the Conference Secretariat by
May 28, 1994, to pay a reduced fee.

Surname ______________________________________________________________________

First name ____________________________________________________________________

Affiliation ___________________________________________________________________

Full address __________________________________________________________________


Telephone ________________________ Fax ________________________________

e-mail ______________________________________

Name/s of the accompanying person/s participating in the conference:




Please fill in:

__ I will participate in the conference US $ ____________________

__ I will participate in workshop n.___ US $ ____________________

__ Social dinner for n. ____ person/s US $ ____________________

__ Excursion for n. ____ person/s US $ ____________________

Total US $ ____________________

Please find enclosed:

                                ___Copy of the money tranfer


                                ___I will pay at the conference (full fee)


                                          HOTEL ACCOMMODATION FORM


Please complete (block letters) and return URGENTLY by fax or e-mail to the
  Conference Secretariat.

Name __________________________________________________________________

Telephone ______________________ Fax ____________________________

Please reserve for me:

n. _______ __ single room/s

n. _______ __ double room/s to be shared with


in the following hotel
                                                **** ___

                                                  *** ___

                                                    ** ___

Arrival on ___________________________ Departure on ___________________________

Date __________________________________

Signature _____________________________

Viswanath Ramachandran vr@cs.brown.edu

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.