[Prev][Next][Index][Thread]
ALP/PLILP'94 Preliminary Program and Reg. Forms (ASCII/LaTeX)
_________________________________________________________________________
PRELIMINARY PROGRAM, CALL FOR PARTICIPATION, AND REGISTRATION FORM
_________________________________________________________________________
JOINT CONFERENCE
ALP'94 PLILP'94
Fourth International Conference on Sixth International Symposium on
Algebraic and Logic Programming Programming Language Implementation
and Logic Programming
Madrid (Spain)
September 14-16, 1994
_____________________________________________________________________
Sponsored by: The Association of Logic Programming
Esprit COMPULOG-NET
CICYT
Comission of the European Union - DG-III/DG-XIII
Universidad Complutense de Madrid (UCM)
Universidad Polit'ecnica de Madrid (UPM)
ATI
Comunidad Aut'onoma de Madrid
SUN Microsystems - Spain
Organized by: DIA - UCM
LSIIS - UPM
DIA-UPM
_____________________________________________________________________
PLILP'94 ALP'94
-------- ------
Program_Co-Chairs: Program Co-Chairs:
------------------ ------------------
Manuel Hermenegildo (Madrid) Giorgio Levi (Pisa)
Jaan Penjam (Tallinn) Mario Rodr'iguez--Artalejo (Madrid)
Program_Committee: Program Committee:
------------------ ------------------
Mats Carlsson (Stockholm) Krzysztof Apt (Amsterdam)
Michael Codish (Beer Sheva) Egidio Astesiano (Genova)
Bart Demoen (Leuven) Harald Ganzinger (Saarbr"ucken)
Pierre Deransart (Rocquencourt) Claude Kirchner (Nancy)
Moreno Falaschi (Padova) Michael Maher (Yorktown Heights)
Neil Jones (Copenhagen) Fernando Orejas (Barcelona)
Herbert Kuchen (Aachen) Laurence Puel (Orsay)
Brian Mayoh (Aarhus) Jerzy Tiuryn (Warsaw)
Juan J. Moreno (Madrid) Andrei Voronkov (Uppsala)
Alan Mycroft (Cambridge)
Hiroshi Nakashima (Kyoto)
Jukka Paakki (Jyv"askyl"a)
Peter Pepper (Berlin)
Igor Pottosin (Novosibirsk)
Antoine Rauzy (Bordeaux)
Francesca Rossi (Pisa)
Peter Stuckey (Melbourne)
Doaitse Swierstra (Utrecht)
David H.D. Warren (Bristol)
Will Winsborough (Pennsylvania)
Local Arrangements Chairman: Organizing Committee:
---------------------------- ---------------------
Juan Jos'e Moreno-Navarro, M. Teresa Hortala'a (UCM)
Universidad Polit'ecnica de Madrid Javier Leach (UCM)
Lourdes Araujo (UCM)
Germ'an Puebla S'anchez (UPM)
Angel Herranz Nieva (UPM)
Julio Mari~no Carballo (UPM)
Julio Garc'ia Mart'in (UPM)
Daniel Cabeza Gras (UPM)
Francisco Bueno Carrillo (UPM)
Manuel Carro Li~nares (UPM)
Conference Secretariat:
-----------------------
PLILP-ALP'94 (Att: Juan Jos'e Moreno-Navarro), Facultad de Inform'atica,
Universidad Polit'ecnica de Madrid, Campus de Montegancedo s/n,
Boadilla del Monte, 28660 Madrid, Spain
e-mail: plilp-alp-info@dia.fi.upm.es
ftp : dia.fi.upm.es, pub/plilp-alp-94
fax : +34 1 336 74 12
_____________________________________________________________________
Welcome to the Joint 1994 International Conference on Algebraic and
Logic Programming (ALP'94) and International Symposium on Programming
Language Implementation and Logic Programming (PLILP'94).
Following the three previous ALP conferences in Gaussig (1988), Nancy
(1990), and Volterra (1992), as well as the five previous PLILP
meetings in Orleans (1988), Linkoping (1990), Passau (1991), Leuven
(1992), and Tallinn (1993), the Fourth International Conference on
Algebraic and Logic Programming and the Sixth International Symposium
on Programming Language Implementation and Logic Programming will be
held concurrently in Madrid (Spain). The event is organized jointly
by the Computer Science Departments of the Complutense University of
Madrid (UCM) and the Technical University of Madrid (UPM).
The technical program includes 27 refereed papers corresponding to
PLILP and 17 refereed papers corresponding to ALP, poster
presentations, system demonstrations and 3 invited lectures by Robert
Paige (New York University), Dale Miller (U. Pennsylvania), and
Catuscia Palamidessi (U. Genova).
In addition to the technical program the official social program
includes an excursion to one of the nearby historic cities, a
reception, and a conference banquet. Madrid, a city of contrasts,
traditional and contemporary at the same time, offers the opportunity
to enjoy both Spain and one of the most attractive capitals in Europe.
______________________________________________________________________
__________________
Scientific Program
__________________
Tuesday, 13th
_____________
18.30 - 19.30 Registration and Reception.
Wednesday, 14th
_______________
8.30 Registration and Opening session (Room Peque~no Anfiteatro)
9.00 Invited Talk (Room Peque~no Anfiteatro):
Concurrent Constraint Programming,
Catuscia Palamidessi, Univ. di Genova (Italy)
10.00 Break
10.15 Parallel sessions
- ALP session(Room Gregorio Mara~n'on): Theorem Proving
Proving Implications by Algebraic Approximation
Michael Codish, Grigory Mashevitzky, Ben-Gurion Univ. of the
Negev (Israel)
Sufficient Completeness and Parameterized Proofs by Induction
Adel Bouhoula, CRIN-INRIA Lorraine (France)
Proving Behavioural Theorems with Standard First-Order Logic
M.Bidoit, CNRSURA, Liens (France)
R.Hennicker, Ludwig-Maximilians-Univ. Munchen (Germany)
- PLILP session (Room Peque~no Anfiteatro): Parallelism & Concurrency
A Portable and Efficient Implementation of KL1
T. Chikayama, T. Fujise, and D. Sekita, ICOT Research Center (Japan)
Analysis of Environment Representation Schemes for MultiLog
D. Smith, University of Waikato (New Zealand)
Abstracting Synchronization in Concurrent Constraint Programming
E. Zaffanella and G. Levi, Universit`a di Pisa (Italy)
R. Giacobazzi, 'Ecole Polytechnique (France)
11.45 Break
12.15 Parallel sessions
- ALP session: Narrowing
How to Realize LSE Narrowing
A.Werner, Univ. Karlsruhe (Germany)
A.Bockmayr, MPI Inf., Im Stadtwald (Germany)
S. Krischer, CRIN-INRIA Lorraine (France)
Compositional Analysis for Equational Horn Programs
Mar'ia Alpuente, Univ. Polit'ecnica de Valencia (Spain)
Moreno Falaschi, Universit`a di Padova (Italy)
Germ'an Vidal, Univ. Polit'ecnica de Valencia (Spain)
Equation solving in projective planes and planar ternary rings
Philippe Balbiani, Univ. Paul Sabatier (France)
- PLILP session: Implementation Techniques I
A Novel Term Compression Scheme and Data Representation in the BinWAM
P. Tarau, K.U.Leuven (Belgium)
U. Neumerkel, Technical Univ. Wien (Austria)
A Simple and Efficient Copying Garbage Collector for Prolog
J. Bevemyr and T. Lindgren, Uppsala University (Sweden)
Deriving Residual Reference Count Garbage Collectors
W. Schulte, Ulm University (Germany)
13.45 Lunch
15.00 Parallel sessions
-ALP session: Logic Programming I
From Eventual to Atomic and Locally Atomic CC Programs: A
Concurrent Semantics
F. Bueno, M. Garcia de la Banda, M. Hermenegildo, UPM (Spain)
U. Montanari, F. Rossi, Universit`a di Pisa (Italy)
Concurrent logic programming as uniform linear proofs
Paolo Volpe, Universit`a di Pisa (Italy)
Three-Valued Completion for Abductive Logic Programs
Frank Teusink, CWI Amsterdam (The Netherlands)
- PLILP session: Implementation Techniques II
RML - A New Language and Implementation for Natural Semantics
G. Pettersson, Linkoping University (Sweden)
Towards a Provable Correct Compiler for OBJ3
L. Hamel and J. Goguen, Oxford Univ. Computing Laboratory (U.K.)
An Implementation Technique for a Class of Bottom-Up Procedures
A. Voronkov, Uppsala University (Sweden)
16.30 Break
17.00 Parallel sessions
- ALP session: Term Rewriting
A Sequential Reduction Strategy
Sergio Antoy, Portland State Univ. (USA)
Aart Middeldorp, Univ. of Tsukuba (Japan)
On Modularity of Termination and Confluence Properties of
Conditional Rewrite Systems
Bernhard Gramlich, Kaiserslautern Univ. (Germany)
Syntactical analysis of total termination
M.C.F. Ferreira and H. Zantema, Utrecht Univ. (The Netherlands)
Logic Programs as Term Rewriting Systems
Massimo Marchiori, Universit`a di Padova (Italy)
- PLILP session: Partial Evaluation, Synthesis and Language Issues
Partial Deduction and Driving are Equivalent
R. Gl"uck and M. Sorensen, University of Copenhagen (Denmark)
Partial Continuations as the Difference of Continuations. A
Duumvirate of Control Operators
L. Moreau, Universit'e de Li`ege (Belgium)
C. Queinnec, INRIA-Rocquencourt (France)
Handwriting Program Generator Generators
L. Birkedal and M. Welinder, University of Copenhagen (Denmark)
A Logic for Encapsulation in Object Oriented Languages
M. Bugliesi, Universit`a di Padova (Italy)
H. Jamil, Concordia University (Canada)
Thursday, 15th
______________
9.00 Invited Talk (Room Peque~no Anfiteatro):
Specification using Multiple-conclusion Logic Programs,
Dale Miller, Univ. of Pennsylvania (USA)
10.00 ALP Session: Higher-order Programming
Higher-Order Minimal Function Graphs
N.D.Jones, M.Rosendahl, Univ. of Copenhagen (Denmark)
Reasoning about Layered, Wildcard and Product Patterns
Delia Kesner, CNRS-LRI (France)
11.00 Break
11.30 PLILP Session: Constraint Programming
Annotated Constraint Logic Programming Applied to Temporal Reasoning
T. Fruehwirth, ECRC (Germany)
clp(B): Combining Simplicity and Efficiency in Boolean
Constraint Solving
P. Codognet and D. D'iaz, INRIA-Rocquencourt (France)
Handling preferences in Constraint Logic Programming with
Relational Optimization
F. Fages, J. Fowler, and T. Sola, Thompson CSF/LCR (France)
Improving Search for Job-Shop Scheduling with CLP(FD)
B. Silvia and H. Lock, IBM WZH (Germany)
13.30 Lunch
15.00 Excursion and Conference Dinner
4
Friday, 16th
____________
9.00 Invited Talk:
Viewing A Program Transformation System At Work,
Robert Paige, New York University (USA)
10.00 ALP Session: Logic Programming II
Preserving universal termination through unfold/fold
Annalisa Bossi, Universit`a di Padova (Italy)
Nicoletta Cocco, Univ. of Venezia-Ca'Foscari (Italy)
A Logic for Variable Aliasing in Logic Programs
Elena Marchiori, CWI Amsterdam (The Netherlands)
11.00 Break
11.30 PLILP session: Meta-Programming and Program Transformation
Implementations of Program Composition Operations
A. Brogi, A. Chiarelli, P. Mancarella, V. Mazzotta, D.
Pedreschi, C. Renso, and F. Turini, Universit`a di Pisa (Italy)
Sleepers: a versatile high-level control mechanism
C. Codognet, LIENS/Universit'e Paris 13 (France)
P. Codognet, INRIA-Rocquencourt (France)
V. Loia, Universit`a di Salerno (Italy)
M. Quaggetto, Universit'e Pierre et Marie Curie (France)
Improving Arithmetic Performance using Fine-Grain Unfolding
T. Metzemakers, A. Miniussi, D. Sherman, and R. Strandh,
Universit'e Bordeaux I (France)
Unfold/fold transformations for definite clause programs
M. Gergatsoulis and M. Katzouraki, Institute of Informatics
and Telecomm. (Greece)
13.30 Lunch
15.00 PLILP Session: Functional-logic Programming
A Graph Reduction Technique with Sharing across Narrowings for
Functional-Logic Languages
J. Maraist,Univ. Karlsruhe (Germany)
F. Silbermann, Tulane Univ. (USA)
Combining Lazy Narrowing and Simplification
M. Hanus, Max-Planck-Institut f"ur Informatik (Germany)
Combining Lazy Narrowing with Disequality Constraints
P. Arenas-S'anchez, A. Gil-Luezas, and F. L'opez-Fraguas, UCM (Spain)
16.30 Break
17.00 PLILP Session: Program Analysis & Abstract Interpretation
Abstracting numerical values in CLP(H,N)
G. Janssens and M. Bruynooghe, K.U.Leuven (Belgium)
V. Englebert, Univ. Notre Dame de la Paix (Belgium)
Dynamic Dependence in Term Rewriting Systems and its
Application to Program Slicing
J. Field, IBM T.J. Watson Research Center (USA)
F. Tip, CWI (The Netherlands)
Abstracting s-semantics Using A Model-Theoretic Approach
D. Boulanger, M. Bruynooghe, and M. Denecker, K.U.Leuven (Belgium)
18.30 Closing session
______________________________________________________________________
General Information
-------------------
ALP'94 - PLILP'94 will held in downtown Madrid at the historic
"Colegio de M'edicos" building. The building currently belongs to the
Official Medical Society but for three centuries it served as the
School of Medicine. It was built in the Carlos III era, which marked a
period of particularly strong cultural activity in the city. Recently
refurbished, it combines modern conference facilities with the
decoration and environment of the old classrooms, where, for instance,
medicine Nobel prize, Ram'on y Cajal, gave lectures.
The Colegio de M'edicos is located in 51, Santa Isabel street, inside
the "Golden Triangle of Art" of Madrid, formed by the Prado museum,
the Reina Sof'ia modern art museum (just outside the Colegio de
M'edicos building), and the Thyssen collection museum. Botanical
Gardens, Retiro Park, and Atocha train station (the departing point
for many enjoyable excursions around Madrid) are all within walking
distance. Using the public transportation system (subway, buses, and
railroad) it is easy to schedule your own program of visits to other
museums, historical buildings, parks, etc. The weather in September
is usually warm and pleasant.
Madrid has direct flights from most major cities and generally good
connections from elsewhere. Madrid is also accessible by railroad
with specially convenient overnight trains from Paris and Lisbon.
Registration Fees
-----------------
The registration fees for both conferences are the following (in
Spanish pesetas - ESP -, 1$US approx. 135 ESP):
_______________________________________________________________
| | | |
| Conference | before August 27th | after August 27th |
| _____________________|____________________|___________________|
| | | |
| Participants | 40000 ESP | 48000 ESP |
| | | |
| Students | 20000 ESP | 25000 ESP |
| | | |
| Additional excursion | | |
| & dinner ticket1 | 10000 ESP | 10000 ESP |
_______________________________________________________________
Note: All students must submit proof of student status by enclosing a
copy of a valid student identification card or a signed letter from
their advisor.
The participant registration fee includes attendance at the sessions
of both conferences, a copy of the proceedings for each conference
(two volumes total), coffee breaks, the social dinner, and the
excursion. The student fee does not include the excursion and social
dinner, which can be purchased separately.
The registration form (included below) must be completed and returned
to the Conference Secretariat before August 27th to qualify for the
reduced rates.
The amount should be paid in Spanish pesetas using one of the
following methods:
- by cheque, to be made payable to "Universidad Polit'ecnica de
Madrid - OTT".
- by money transfer to account 31000262, BARCLAYS BANK, Pza.
Col'on, 2, 28046 Madrid, Spain, clearly indicating the following code
"PLILP-ALP Registration P-93-1015-241". Please make sure that your
payment includes any banking fees.
Any cancelation must be communicated in writing to the Conference
Secretariat before September 2nd. A 15% management cost will be
charged for cancelations.
Grants
------
A limited number of grants are available for young researchers and
researchers from developing countries. Priority will be given to
authors of accepted papers. If you are interested, please contact the
Conference Secretariat.
Hotel Accommodation
-------------------
Madrid will be a very busy city in September. We suggest making hotel
reservations as soon as possible, specially if you want a three star
hotel, which is normally in high demand. In any case, please send the
hotel reservation form before August 27th.
All hotels are located within a maximum of 10 minutes walking distance
(or two bus stops) from the Colegio de M'edicos. We will try to meet
participants' preferences and reserve the closest hotel on a
first-come/first-serve basis. In case we cannot make the reservation
in the desired hotel category we will select the closest one
available. The hotel rates, for the days of the conference, are the
following (in case you would like to stay over longer, these hotels
usually have good special prices for the week-end):
________________________________________________
| | | |
| Category | Single room | Double room |
| ___________________|_____________|_____________|
| | | |
| Grand class | 20250 ESP | 26550 ESP |
| | | |
| * * * * | 9650 ESP | 11200 ESP |
| | | |
| * * * | 7650 ESP | 9000 ESP |
| | | |
________________________________________________
The prices are again in Spanish pesetas and 6% VAT must be added.
Breakfast is included. Some of the hotels could ask for a prepayment.
In addition to these hotels, a limited number of rooms are available
in student dorms for 3800 ESP per day. Breakfast and dinner are
included. Again, 6% VAT must be added. Payment for the complete stay
must be made upon arrival. These dorms are on the main campus of UCM
and UPM, and are connected by subway with the conference venue (30
minutes approx.).
---8<--- CUT HERE -----------------------------------------------------------
_____________________________________________________________________
ALP'94-PLILP'94
REGISTRATION FORM
_____________________________________________________________________
Please complete (block letters) and return to the Conference
Secretariat by August 27, 1994.
Conference Secretariat:
PLILP-ALP'94 (Att: Juan Jos'e Moreno-Navarro), Facultad de
Inform'atica, Universidad Polit'ecnica de Madrid, Campus de
Montegancedo s/n, Boadilla del Monte, 28660 Madrid, Spain
e-mail: plilp-alp-info@dia.fi.upm.es fax: +34 1 336 74 12
_____________________________________________________________________
Surname _______________________________________________________________
First name ____________________________________________________________
Affiliation ___________________________________________________________
Address _______________________________________________________________
ZIP code ________________________________ Country _____________________
Phone ________________________________ Fax ___________________________
e-mail _______________________________________________________________
Registration Fees
_________________
Participant conference fee ESP _______________
Student conference fee ESP _______________
Additional excursion(s) &
dinner ticket(s) ESP _______________
===================
Total ESP _______________
Special food
____________
Vegetarian _____ Other (pls. specify) ____________ (We will try to do our best)
_______
Please find enclosed: Copy of the money transfer .... | |
_______
_______
Cheque .........................| |
_______
Signature ________________________
---8<--- CUT HERE -----------------------------------------------------------
_____________________________________________________________________
ALP'94-PLILP'94
HOTEL ACCOMMODATION FORM
_____________________________________________________________________
Please complete (block letters) and return to the Conference
Secretariat by August 27, 1994.
Conference Secretariat:
PLILP-ALP'94 (Att: Juan Jos'e Moreno-Navarro), Facultad de
Inform'atica, Universidad Polit'ecnica de Madrid, Campus de
Montegancedo s/n, Boadilla del Monte, 28660 Madrid, Spain
e-mail: plilp-alp-info@dia.fi.upm.es fax: +34 1 336 74 12
_____________________________________________________________________
Surname _______________________________________________________________
First name ____________________________________________________________
Phone ________________________________ Fax ___________________________
e-mail _______________________________________________________________
Please reserve:
_____ single room(s)
_____ double room(s) to be shared with ________________________________
in the following hotel class
Grand class ______
* * * * ______
* * * ______
Student room ______
Arrival on ____________________________ Departure ______________________
Signature ________________________