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

-------------------------------------------------------------------------------


                          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
    martelli@disi.unige.it


Program Chair
    Pascal Van Hentenryck, Brown University
    pvh@cs.brown.edu


Workshop Chair
    Catuscia Palamidessi, DISI, University of Genova
    catuscia@di.unipi.it


Poster Chair
    Lee Naish, University of Melbourne
    lee@cs.mu.oz.au


Publicity Chair
    Fosca Giannotti, CNUCE-CNR, Pisa
    fosca@cnuce.cnr.it




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


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


SUNDAY, JUNE 12


18.00-21.00 Registration


19.30 Welcome Cocktail


MONDAY, JUNE 13


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
Parallelism
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
Implementation
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


TUESDAY, JUNE 14


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


WEDNESDAY, JUNE 15


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
    languages
    J. Moreno-Navarro






10.30-12.30 Session
Analysis
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
Databases
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


THURSDAY, JUNE 16


9.00-10.00 Invited Talk
A. Mackworth (UBC)
Constraint-based
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
        Interpretation
    D. Boulanger, D. De Schreye


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


-------------------------------------------------------------------------


Post-Conference Workshops Schedule


-------------------------------------------------------------------------


FRIDAY 17 JUNE


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


-------------------------------------------------------------------------


SATURDAY 18 JUNE


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


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


Contacts:
                Koen De Bosschere
ELIS, Universiteit Gent
St.-Pietersnieuwstraat 41,
B-9000 Gent,
Belgium
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
practice.


Workshop W2
Verification and Analysis of (Concurrent) Logic Languages


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


Contacts:
                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


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


Contacts:
                Franz Kurfess
Dept. of Neural Inf. Proc.,
D-89069 Ulm, Germany.
kurfess@neuro.informatik.uni-ulm.de


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


Organizers:
                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


Contacts:
                Anthony J. Kusalik
Dept. of Comp. Sci.,
Saskatoon, Saskatchewan
S7N 0W0 Canada.
kusalik@cs.usask.ca


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


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


Contacts:
                Jurgen Dix
Dept. of Comp. Sci.,
Rheinau 1, 56075 Koblenz, Germany.
dix@informatik.uni-koblenz.de


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


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


Contacts:
                Jonas Barklund
Computing Science Dept., Box 311,
S-751 05 Uppsala, Sweden.
jonas@csd.uu.se


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


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


Contacts:
                Paolo Ciancarini
Dip. di Matematica,
P. di Porta S. Donato, 5, 40127 Bologna, Italy.
cianca@cs.unibo.it


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


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


Contacts:
                Juan Jose' Moreno Navarro
Facultad de Informatica,
Campus de Montegancedo s/n,
Boadilla del Monte 28660 Madrid, Spain.
jjmoreno@fi.upm.es


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


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


Organizers:
                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


Contacts:
                Dietmar Seipel,
Tuebingen Univ.,
Sand 13, D - 72076 Tuebingen, Germany.
seipel@informatik.uni-tuebingen.de


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
Organizers:
                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


Contacts:
                Alberto Momigliano
CMU, Pittsburgh, PA 15213-3890, U.S.A.
mobile@lcl.cmu.edu


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


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


Contacts:
                Rosa Maria Bottino
IMA, Via De Marini 6,
16149 Genova, Italy.
Bottino@IMAGE.GE.CNR.IT


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


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


Contacts:
                Daniela Tiscornia
IDG, Via Panciatichi 56/16,
50127 Firenze, Italy.
daniela@idg.cnr.fi.it


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.


SOCIAL PROGRAM


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.


GENERAL INFORMATION
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.


Grants


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.


Cancellations


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
participants:
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


                                ___Cheque


                                ___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
--

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