CFPn_ALP/PLILP/SAS96
Herbert Kuchen
herbert@zeus.informatik.rwth-aachen.de
Thu, 1 Aug 96 16:10:26 +0200
(This call includes a few corrections!)
2nd Call for Participation
ALP/PLILP/SAS'96
September 24-27, 1996
Aachen, Germany
A postscript version of this call for participation can be found at:
http://www-i2.informatik.rwth-aachen.de/~herbert/CFP/CFParticipation.ps
A html version is available at:
http://www-i2.informatik.rwth-aachen.de/~herbert/CFP/CFParticipation.html
ALP Fifth International Conference on Algebraic and Logic Programming
ALP aims at strengthening the connections between algebraic
techniques and logic programming. Typical but not exclusive
topics of interest are: semantics of algebraic and logic programming,
integration of functional and logic programming, term rewriting,
narrowing, resolution, constraint logic programming, theorem proving
with constraints, concurrent features in algebraic and logic
programming languages, higher order features in algebraic and
logic programming languages.
PLILP Eighth International Symposium on Programming
Languages, Implementations, Logics, and Programs
The PLILP symposium aims at stimulating research on declarative
programming languages, and seeks to disseminate insights in
the relation between the logics of those languages, implementation
techniques, and the use of these languages in constructing real
programs. Topics of interest are e.g. implementation of declarative
concepts, integration of different paradigms, compiler specification
and construction, program analysis and transformation, programming
environments, executable specifications, reasoning about language
constructs, experiences in constructing applications, typing and
structuring systems.
SAS Third International Static Analysis Symposium
SAS aims to promote theory and applications of static analysis as a
fundamental tool in high performance language implementations and
program verification. Typical topics of interest are:
abstract interpretation, optimising compilers, complexity,
theoretical frameworks, experimental evaluation, verification systems,
specific analyses, type inference, partial evaluation, abstract
domains.
For more information, see web page:
http://www-i2.informatik.rwth-aachen.de/aachen96/
ALP/PLILP/SAS General Schedule
Monday, September 23
18.00 - 20.00 Registration, Come together
Tuesday, September 24
8.00 - 8.20 Registration
8.20 - 8.30 Opening SAS
8.30 - 9.30 Invited talk: Flemming Nielson
9.30 - 10.30 SAS session
11.00 - 12.30 SAS session
14.00 - 15.00 Invited talk: Alex Aiken
15.00 - 15.30 SAS session
16.00 - 18.00 SAS session
18.30 - 20.00 EAPLS founding meeting
Wednesday, September 25
8.15 - 8.50 Registration
8.50 - 9.00 Opening ALP/PLILP
9.00 - 10.00 Invited talk: Lambert Meertens
10.30 - 12.30 Parallel sessions ALP/PLILP/SAS
14.00 - 15.00 Invited talk: Bernhard Steffen
15.00 - 16.00 Coffee break and poster session
16.00 - 18.00 Parallel sessions ALP/PLILP/SAS
19.00 - 20.30 Guided tour through Aachen
Thursday, September 26
8.30 - 9.00 Registration
9.00 - 10.00 Invited talk: Claude Kirchner
10.30 - 12.30 Parallel sessions ALP/PLILP/SAS
14.00 - 23.00 Excursion and Dinner
Friday, September 27
9.00 - 10.30 Parallel sessions ALP/PLILP
11.00 - 12.30 Parallel sessions ALP/PLILP
14.00 - 15.30 Parallel sessions ALP/PLILP
16.00 - 17.30 PLILP session
17.30 - 17.35 Closing
Program Committees
ALP
Sergio Antoy (USA)
Egidio Astesiano (Italy)
J"urgen Avenhaus (Germany)
Pierre Deransart (France)
Laurent Fribourg (France)
Michael Hanus (Germany, co-chair)
Joxan Jaffar (Singapore)
Giorgio Levi (Italy)
Karl Meinke (UK)
Aart Middeldorp (Japan)
Luis Monteiro (Portugal)
Fernando Orejas (Spain)
Catuscia Palamidessi (Italy)
Frank Pfenning (USA)
Mario Rodriguez-Artalejo (Spain, co-chair)
Vijay Saraswat (USA)
Peter Stuckey (Australia)
Andrzej Tarlecki (Poland)
Andrei Voronkov (Sweden)
Martin Wirsing (Germany)
PLILP
Maria Alpuente (Spain)
Patrick Cousot (France)
Yike Guo (UK)
Maurizio Gabbrielli (Italy)
Fritz Henglein (Denmark)
Tetsuo Ida (Japan)
Gerda Janssens (Belgium)
Thomas Johnsson (Sweden)
Herbert Kuchen (Germany, co-chair)
Daniel Le Metayer (France)
Alexander Letichevsky (Ukraine)
Rita Loogen (Germany)
Jan Maluszynski (Sweden)
Erik Meijer (Netherlands)
Dale Miller (USA)
Masaki Murakami (Japan)
Rinus Plasmeijer (Netherlands)
Laurence Puel (France)
Gert Smolka (Germany)
Doaitse Swierstra (Netherlands, co-chair)
Pascal Van Hentenryck (USA)
SAS
Francois Bourdoncle (France)
Radhia Cousot (France, co-chair)
Alain Deutsch (France)
Roberto Giacobazzi (Italy)
Nicolas Halbwachs (France)
Chris Hankin (UK)
William L. Harrison (USA)
Neil Jones (Denmark)
Peter Lee (USA)
Kim Mariott (Australia)
Jens Palsberg (USA/Denmark)
Hanne Riis-Nielson (Denmark)
Dave Schmidt (USA, co-chair)
Carolyn Talcott (USA)
Mads Tofte (Denmark)
Reinhard Wilhelm (Germany)
Organizing Committee
Michael Hanus
Herbert Kuchen
Markus Mohnen
Ulla Oebel
Frank Zartmann
Olaf Chitil
Arnd Gehrmann
Sponsors
The Assocation of Logic Programming
Esprit Compulog-Net
RWTH Aachen
SUN Microsystems
ALP/PLILP/SAS Programme
Monday, September 23
18.00 Registration, Come together
Tuesday, September 24
8.00 Registration
8.20 Opening SAS
8.30 Invited talk: Flemming Nielson
9.30 SAS session
Arnaud Venet:
Abstract Cofibered Domains: Application to the
Alias Analysis of Untyped Programs
Mario Coppo, Ferruccio Damiani, Paola Giannini:
Refinement Types for Program Analysis
10.30 Coffee break
11.00 SAS session
Martin Alt, Christian Ferdinand, Florian Martin, R. Wilhelm:
Cache Behavior Prediction by Abstract Interpretation
M. Bruynooghe, B.Demoen, D.Boulanger, M. Denecker, A. Mulkers:
A Freeness and Sharing Analysis of Logic Programs
Based on a Pre-interpretation
Lobel Crnogorac, Andrew D. Kelly, Harald Sondergaard:
A Comparison of Three Occur-Check Analysers
12.30 Lunch
14.00 Invited talk: Alex Aiken
15.00 SAS session
Valery Trifonov, Scott Smith:
Subtyping Constrained Types
15.30 Coffee break
16.00 SAS session (until 18.00)
Jakob Rehof, Torben AE. Mogensen:
Tractable Constraints in Finite Semilattices
Christian Fecht, Helmut Seidl:
An Even Faster Solver for General Systems of Equations
F.S. de Boer, M. Gabbrielli, C. Palamidessi:
Proving Correctness of Constraint Logic Programs
with Dynamic Scheduling
Pavel G. Emeljanov:
Analysis of the equality relations for the program terms
18.30 EAPLS founding meeting
Wednesday, September 25
8.15 Registration
8.50 Opening ALP/PLILP
9.00 Invited talk: Lambert Meertens
10.00 Coffee break
10.30 ALP session: Logic Programming
W. Drabent, A. Di Pierro:
On Negation As Instantiation
M. Garcia de la Banda, M. Hermenegildo, and K. Marriott:
Independence in Dynamically Scheduled Logic Languages
F. Benhamou:
Heterogeneous Constraint Solving
F. Fages, R. Gori:
A Hierarchy of Semantics for Normal Constraint Logic Programs
PLILP session: Concurrent and Parallel Programming
Sergei Gorlatch:
Homomorphisms: Towards the Systematic Extraction and
Implementation of Divide-and-Conquer Parallelism
L. A. Galan and C. Pareja, R. Pena:
Functional Skeletons Generate Process Topologies in Eden
Thomas Gehrke, Michaela Huhn:
ProFun - a Language for Executable Specifications
Maribel Fernandez, Ian Mackie:
From Term Rewriting to Generalised Interaction Nets
SAS session
Hemant D. Pande, Barbara G. Ryder:
Data-Flow-Based Virtual Function Resolution
Stephen Alstrup, Peter W. Lauridsen, Mikkel Thorup:
Generalized dominators for structured programs
Olivier Roux and Vlad Rusu
Uniformity for the Decidability of Hybrid Automata
R. Borgia, P. Degano, C. Priami, L. Leth, B. Thomsen:
Understanding Mobile Agents via a non-interleaving
semantics for Facile
12.30 Lunch
14.00 Invited talk: Bernhard Steffen
15.00 Coffee break and poster session
16.00 ALP session: Term rewriting
P.C. Olveczky, O. Lysne:
Order-sorted Termination: the Unsorted Way
M. Marchiori:
Unravelings and Ultra-properties
T. Suzuki:
Standardization Theorem Revisited
Z. Khasidashvili, J. Glauert:
Discrete Normalization and Standardization in
Deterministic Residual Structures
PLILP session: Concurrent and parallel programming
Stefan Kahrs:
Limits of ML-definability
G. Belle, C.B. Jay, E. Moggi:
Functorial ML
Pascale Louvet, Olivier Ridoux:
Parametric Polymorphism for Typed Prolog and lambda-Prolog
Joaquin Mateos-Lago, Mario Rodriguez-Artalejo:
GOTA Algebras: A Specification Formalism for Inheritance
and Object Hierarchies
SAS session
German Puebla, Manuel Hermenegildo:
Optimized Algorithms for Incremental Analysis of
Logic Programs
Martin Muller, Thomas Glass, Karl Stroetmann:
Automated Modular Termination Proofs for Real Prolog Programs
Jurgen Brauburger, Jurgen Giesl:
Termination Analysis for Partial Functions
Peter Holst Andersen, Carsten Kehler Holst:
Termination Analysis for Offline Partial Evaluation
of a Higher Order Functional Language
19.00 Guided tour through Aachen
Thursday, September 26
8.30 Registration
9.00 Invited talk: Claude Kirchner
Toward the Concurrent Implementation of Computational Systems
10.00 Coffee break
10.30 ALP session: Integration of paradigms
L. Caires:
A Language for the Logical Specification of
Processes and Relations
L. Brim, J.-M. Jacquet, M. Kretinsky, D. Gilbert:
A Process Algebra for Synchronous Concurrent
Constraint Programming
D. Ancona, E. Zucca:
An Algebraic Approach to Mixins and Modularity
H. Fassbender, S. Maneth:
A Strict Border for the Decidability of
E-Unification for Recursive Functions
PLILP session: Program analysis
M. Garcia de la Banda, F. Bueno, M. Hermenegildo:
Towards Independent And-Parallelism in CLP
Geoffrey Weyer, Will Winsborough:
Annotated Structure Shape Graphs for Abstract
Analysis of Prolog
Roberto Bagnara:
A Reactive Implementation of Pos Using ROBDDs
Didier Parigot, Gilles Roussel, Martin Jourdan, Etienne Duris:
Dynamic Attribute Grammars
SAS session
Stephane Schoenig and Mireille Ducasse:
A Backward Slicing Algorithm for Prolog
Gregor Snelting:
Combining Slicing and Constraint Solving for
Validation of Measurement Software
Robert Givan:
Inferring Program Specifications in Polynomial-Time
Ross Paterson:
Compiling Laziness using Projections
12.30 Lunch
14.00 Excursion
20.00 Dinner
Friday, September 27
9.00 ALP session: Abstract interpretation
E. Marchiori:
Prime Factorizations of Abstract Domains Using
First Order Logic
P. Volpe:
Abstractions of Uniform Proofs
R. Giacobazzi, F. Ranzato:
Complementing Logic Program Semantics
PLILP session: Tools and Programming Environments
Maria-Virginia Aponte, Roberto Di Cosmo:
Type isomorphisms for module signatures
Salvatore Ruggieri:
Decidability of logic program semantics and
applications to testing
Enno Scholz:
PIDGETS - Unifying Pictures and Widgets in a Constraint-Based
Framework for Concurrent Functional GUI Programming
PLILP session: lambda-calculus and rewriting
Fairouz Kamareddine, Alejandro Rios:
Generalized beta reduction and explicit substitution
Zine-El-Abidine Benaissa, P. Lescanne, K. H"ogsbro Rose:
Modeling Sharing and Recursion for Weak Reduction Strategies
using Explicit Substitution
Salvador Lucas:
Context-sensitive computations in confluent programs
10.30 Coffee break
11.00 ALP session: lambda-calculus and rewriting
R. Kennaway, V. van Oostrom, F.-J. de Vries:
Meaningless Terms in Rewriting
K. Mano, M. Ogawa:
Unique Normal Form Property of Higher-Order Rewriting Systems
C. Ferreira, D. Kesner, L. Puel:
lambda-Calculi with Explicit Substitutions and Composition
which Preserve beta-strong Normalization
PLILP session: Implementation
Christoph W. Kessler:
Scheduling Expression DAGs for Minimal Register Need
Juliana Freire, Terrance Swift, David S. Warren:
Beyond Depth-First: Improving Tabled Logic Programs
through Alternative Scheduling Strategies
Xining Li:
Program Sharing: A New Implementation Approach for Prolog
PLILP session: Program transformation (1)
Michael Leuschel, Danny De Schreye:
Logic Program Specialisation: How To Be More Specific
Robert Gl"uck, Jesper J"orgensen, Bern Martens, M. H. S"orensen:
Controlling Conjunctive Partial Deduction
N. De Francesco and A. Santone:
Unfold/Fold Transformations of Concurrent Processes
12.30 Lunch
14.00 ALP session: Types
J.M. Almendros-Jimenez, A. Gavilantes-Franco, A. Gil-Luezas:
Algebraic Semantics for Functional Logic Programming
with Polymorphic Order-Sorted Types
D. Nazareth:
Specifying Type Systems
D. Nazareth:
The Semantic Treatment of Polymorphic Specification Languages
PLILP session: Program transformation (2)
Olivier Danvy, Rene Vestergaard:
Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation
Peter Thiemann:
Implementing Memoization for Partial Evaluation
G. W. Hamilton:
Higher Order Deforestation
15.30 Coffee break
16.00 PLILP session: Constraints and Deductive Databases
Peter Stuckey, Vincent Tam:
Models for using Stochastic Constraint Solvers in
Constraint Logic Programming
Peter Van Roy, Michael Mehl, Ralf Scheidhauer:
Integrating efficient records into concurrent
constraint programming
Mengchi Liu:
The LOL Deductive Database Programming Language
17.30 Closing
Conference Location
The conference takes place at Aachen University of Technology
(RWTH Aachen), Germany. Aachen is a beautiful old city, which
was founded by Charles the Great at the end of the 8th century.
The cathedral and the town hall from that period are still
preserved. The latter was used for the crowning ceremony of
the German kings in the Middle Ages.
Weather
The temperature in September is usually between 12 and 20
degrees (C). Rain is always possible in Aachen. Thus, do not
forget some warm clothes and an umbrella.
How to reach the conference by train
There are direct train connections to Brussels (2h), Paris (4.5h),
Cologne (50 min.), D"usseldorf (90 min.), and the Netherlands
(via Heerlen). If you are looking for some specific train connections,
we recommend the German rail server at web page:
http://rail.rz.uni-karlsruhe.de/rail/rsask-d.html
Type in (in this order) your email address, the starting station,
the destination, the date of your travel (in format: dd.mm.yy),
and the starting time. Then, click on ``Formular abschicken''.
After a few hours, you will get a list of matching train connections.
How to reach the conference by plane
For most participants arriving by plane, D"usseldorf should be
the most convenient airport. From D"usseldorf airport,
there are train connections (at least) every hour (about 1h30,
change at D"usseldorf Hauptbahnhof (central station)) and
a shuttle bus connection (34 DM, every 90 min., 1h). We strongly
recommend to book the shuttle bus in advance (phone: +241-1820023).
The shuttle can bring you directly to your hotel.
Alternatively, you can take flights to Brussels (B) (about
2h30 by train, change at Brussels Nord), Cologne (by airport
bus to central station, from there by train to Aachen), or
Maastricht (NL) (few connections, 30 min. by taxi).
How to reach our department
If you want to travel by car, please have a look at the map on web page:
http://www-i2.informatik.rwth-aachen.de/aachen96/csinac.gif
The department is located in Ahornstrasse 55.
If you want to take a bus from the center, you can use
lines 23 or 33 (stop: Halifaxstrasse). The bus stops
right in front of the building. We recommend that you
buy a carnet of six tickets (3 x 2).
Social Events
On Wednesday evening, we will organize a guided tour through
the historical center of Aachen, including the town hall
and the cathedral.
On Thursday afternoon, there will be an excursion to the
beautiful old village Monschau in the Eifel forest. Monschau
is located in a narrow valley at the Rur river. We will
visit a museum with old furniture and a glass factory.
After the excursion, we will have dinner in the cellar
of the town hall in Aachen.
EAPLS founding meeting
The inital board of EAPLS (European Association for Programming
Languages and Systems),
Claude Kirchner, Paul Klint, Alan Mycroft, Reinhard Wilhelm,
Uwe Kastens, and Giorgio Levi,
will hold a founding meeting on Tuesday evening.
There will be a short presentation of history and the aims of
EAPLS, information on the automatic research project and conference
registration pages on WWW and to call for ideas from the community.
Constructive criticism will be particularly welcome.
EAPLS offers complimentary beer/soft drinks to attendees.
See http://www.cwi.nl/eapls/ for more information.
Registration Form
Send this registration form to ALP/PLILP/SAS'96, RWTH Aachen,
Informatik II, D-52056 Aachen, Germany.
Or fax it to: +49-241-8888217.
Name: .........................................
Department: .........................................
Institution: .........................................
Address: .........................................
Postcode/City: .........................................
Country:
Phone: ................... Fax: ...............
Email: .........................................
Signature: .........................................
Vegetarian: (y/n)
Conference fees:
regular student
early late early late
registration registration registration registration
ALP'96/PLILP'96: DM 390 DM 450 DM 230 DM 270
SAS'96: DM 390 DM 450 DM 230 DM 270
ALP'96/PLILP'96/SAS'96: DM 490 DM 560 DM 360 DM 400
Early registration: before August 15, 1996
Late registration: after August 15, 1996
Student fee: certification required, without excursion/banquet
Additional excursion/banquet ticket: DM 140
Total: DM ......
The regular fee includes attendance of all sessions and copies of
the proceedings of the selected conferences, lunch, coffee/tea,
guided tour, excursion, and dinner on September 26. The student
fee includes the same except for the guided tour, the excursion,
and the dinner.
Payment
Fees are payable in German Marks (Deutsche Mark, DM).
DM 1 roughly corresponds to US$ 0.66.
Please check your payment method:
....... bank transfer (net of bank charges) into account 8023640
of ALP/PLILP/SAS'96 at Sparkasse Aachen,
bank number (BLZ) 390 500 00.
........ cheque (preferably Eurocheque)
We cannot accept credit cards.
Any cancellation must be communicated in writing to the conference
secretariat before September 8, 1996. A 15% management cost will be
charged for cancellations.
Hotel Reservation Form
We have reserved a number of hotel rooms within walking distance
from the historical center of Aachen. Since this reservation
is only valid until six weeks before the conference, please
send the hotel reservation form as soon as possible
to the same address as the registration form.
Name: .........................................
Department: .........................................
Institution: .........................................
Address: .........................................
Postcode/City: .........................................
Country:
Phone: ................... Fax: ...............
Signature: .........................................
Room per night, including breakfast:
....... single (DM 103 - 145)
....... double (DM 118 - 170)
Date of arrival: ..........
Date of departure: ..........
Please pay the hotel directly upon departure. Hotel reservations
have to be made before August 8. For later reservations, please
contact the tourist office directly, phone: +49-241-1802950,
or use the hotel reservation service at web page
http://www.hrs.de/welcome.html.uk
----------------------------------------------------------------
Herbert Kuchen (herbert@informatik.rwth-aachen.de)