LAST CALL FOR PARTICIPATION
PLI 99
Principles, Logics, and Implementations
of high-level programming languages
Paris, France,
September 27 - October 1, 1999
http://pauillac.inria.fr/pli/
----------------
Important dates
August 22 Deadline for early registrations.
----------------
The colloquium on Principles, Logics, and Implementations of high-level
programming languages is a collection of conferences and workshops aimed at
the advancement of high-level programming languages. The first edition of
PLI will be held in September 1999 in Paris and will bring together two
popular conferences ICFP and PPDP (previously known as PLILP/ALP) focused on
functional and declarative programming languages, and a collection of
related satellite events.
PLI 99 comprises the following conferences and workshops:
ICFP International Conference on Functional Programming
PPDP Principles and Practice of Declarative Programming
Two-day workshops:
HOOTS Higher-Order Operational Techniques in Semantics
IDL Implementation of Declarative Languages
One-day workshops:
COCL Component-based Software Development in Computational Logic
DPS Declarative Programming with Sets
FDPE Functional and Declarative Programming in Education
HASKELL workshop
LFM Logical Frameworks and Meta-languages
OOSDS Object-oriented Specification Techniques for
Distributed Systems and Behaviours
WAAAPL Workshop on Algorithmic Aspects of Advanced Programming Languages
----------------
A detailed presentation of the conference including a preliminary program,
registration and accomodation information and forms are all avalaible at the
PLI home page given above. The rest of this message is only a summary of this
page.
SCHEDULE OF EVENTS
--------------------------------------------------------------------------
| Sep 27 | Sep 28 | Sep 29 | Sep 30 | Oct 1 |
| Monday | Tuesday | Wednesday | Thursday | Friday |
|==========================================================================|
| | |
| I C F P | P P D P |
| | |
|==========================================================================|
| I D L | FDPE | H O O T S |
|----------------------------+---------------+-----------------------------|
| COCL | LFM | | WAAAPL | HASKELL |
|--------------+-------------+---------------------------------------------|
| OOSDS | DPS | |
|----------------------------+---------------------------------------------|
| | Banquet | |
--------------------------------------------------------------------------
REGISTRATION
The registration fees and the registration procedure are described on the
WEB. To benefit from the early bird rate, your registration and payment must
be received by August 20. If you are applying for a TMR grant, your TMR
application form must be received by July 1.
For registrations that cannot be made using the WEB form, please contact
the conference secretariat.
TRAVEL GRANTS
Students and ACM members who will present a paper at either ICFP 99 or PPDP
99 may apply for travel fellowships from the PAC fund (see
http://www.acm.org/sigplan/PAC)
VENUE
PLI 99 will be held in Paris, at the Maison de la Chimie.
MAISON DE LA CHIMIE
28, rue Saint Dominique
75007 PARIS
tl: 33 (1) 40 62 27 00
fax: 33 (1) 45 55 98 62
ACCOMMODATION
The ATI agency offers a large panel of hotels with different categories of
comfort and prices. Rooms have been pre-booked in several hotels that are
usually at a couple of metro stations from the Maison de la Chimie. Walking
from your hotel to Maison de la Chimie will be possible only if you have
time or good legs, since unfortunately, there are not very many convenient
lodging right next to the Maison de la Chimie.
To book a room through the ATI, please print and fill the booking form
available on the WEB and send it directly to ATI. You will be charged a 50
FF fee per file.
---------------------------------------------------------------
September is usually very busy in Paris, so you should arrange
for your accommodation as soon as possible.
---------------------------------------------------------------
CONFERENCE SECRETARIAT
For any information, please contact the conference secretariat
INRIA Rocquencourt
Bureau des Colloques
BP 105
78153 Le Chesnay Cedex - France
Phone: +33 1 3963 5675
Fax: +33 1 3963 5638
Email: ········@inria.fr
URL: http://pauillac.inria.fr/pli/
SPONSORS
PLI 99 is organized by INRIA in collaboration with the ACM SIGPLAN and with
the sponsorship of the CNRS (France), Compaq (USA), Compulog (EU), European
Association for Programming Languages and Systems (EU), France-Telecom
(France), MENRT (France), Microsoft-Research (UK), Trusted Logic (France),
and the EU program "Training and Mobility of Research" (EU).
IDL'99 - International Workshop on Implementation of Declarative Languages
http://www.binnetcorp.com/wshops/IDL99.html
Paris, France, September 27-28, 1999
You are invited to attend this workshop held at PLI'99 - the International Conference on Principles,
Logics, and Implementations of high-level programming languages, http://pauillac.inria.fr/pli/,
preliminary registration before Aug 27, 1999.
IDL'99 Preliminary Program
Sep 27, 1999 morning session
Invited talk
9:00-10:30 Peter Van Roy: The Mozart Programming System and Its Implementation
10:30-11:00 break
Logic and Constraint Programming Language Implementation and Design
11:00-11:30 B. Cui, T. Swift, D.S. Warren: From Tabling to Transformation:
Efficiently Computing Residual Programs in the SLG-WAM
11:30-12:00 Tobias M�ller: Practical Investigation of Constraints with Graph Views
12:00-12:30 A. A. Morozov: Actor Prolog: an Object-Oriented Language with the
Classical Declarative Semantics
Sep 27, 1999 afternoon session
1:30-2:30-System demos
Implementation Techniques for Functional and Logic/Functional Languages
2:30-3:00 S. Peyton-Jones, S. Marlow: Secrets of the Glasgow Haskell Compiler Inliner
3:00-3:30 W. Grieskamp: The uZ Calculus and its Implementation
3:30-4:00 break
4:00-4:30 K. Eder: Implementing Escher on a Graph Reduction Machine
4:30-5:00 M. Alpuente, S. Escobar, S. Lucas: Incremental Needed Narrowing
Sep 28, 1999 morning session
Analysis of Inferential Languages:
9:30-10:00 M. Hanus, F. Steiner: A Type-based Nondeterminism Analysis for
Functional Logic Languages
10:00-10:30 N. Mazur, G. Janssens, M. Bruynooghe: Towards Memory Reuse in Mercury
10:30-11:00 break
11:00-11:30 J. Ahn and T. Han: Analysis of Parallelism in Recursive Functions
on Recursive Data Structures
11:30-12:00 K.-F. Faxen: Representation Analysis for Coercion Placement
Sep 28, 1999 afternoon session
System demos 1:30-2:30
2:30-4:00 Panel discussion
Trends in the Design and Implementation of Inferential Languages
Workshop Chairs
Konstantinos Sagonas Paul Tarau
Uppsala University, University of North Texas
Computing Science Department and BinNet Corporation
Program Committee
Marc Feeley (Universit� de Montr�al, CANADA)
Maria Garcia de la Banda (Monash University, AUSTRALIA)
Fergus Henderson (University of Melbourne, AUSTRALIA)
Michael Hanus (RWTH Aachen, GERMANY)
Mark P. Jones (Oregon Graduate Institute of Science & Technology, USA)
Guy Lapalme (Universit� de Montr�al, CANADA)
Olivier Ridoux (IRISA/INRIA Campus de Beaulieu, FRANCE)
Konstantinos Sagonas (Uppsala University, SWEDEN)
Paul Tarau (University of North Texas & BinNet Corporation, USA)
Neng-Fa Zhou (Kyushu Institute of Technology, JAPAN)