of high-level programming languages
September 17 - 22, 2000
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
was held in September 1999 in Paris and brought together two popular
conferences ICFP and PPDP focused on functional and declarative programming
languages, and a collection of related satellite events. The second edition
will be held in September 2000 in Montréal.
The events composing PLI will cover a spectrum of topics
important to language development and use, including issues such as
semantics, design, analysis, implementation, and application. Theoretical
issues relevant to language design and programming, such as the use of type
theory, logic, and logical methods in understanding and efficiently carrying
out computations, will be represented. Implementation questions will provide
an emphasis on compilation methods, distributed computation and static
debugging techniques. There will also be a focus on industrial and
educational applications. The programming languages and paradigms that are
of interest have a special significance in the practice of software and at
least one objective is to enhance the state-of-the-art in this realm.
Schedule of events
The 2000 International Conference on Functional Programming
2nd International Conference on Principles and Practice of Declarative
4th International Workshop on High-level Concurrent Languages
The Fourth International Workshop on Higher Order Operational Techniques
First International Workshop on Rule-Based Programming
Workshop on Scheme and Functional Programming
Semantics, Applications and Implementation of Program Generation
The Third International Workshop on Types in Compilation
The registration fees and the registration procedure are described
here. To benefit from the early bird rate,
your registration and payment must be received by August 25.
PLI 2000 will be held in Montréal, at
Additional information can be found here.
The Holiday Inn Select offers rooms at the reduced conference rate of
CAD $ 130 + 15% tax for both single
and double rooms. Indicate that you are attending the PLI 2000
colloquium of the ACM when you make the reservation. Hotel
reservations need to be done before August 25 to secure the reduced
rate. Reservations received after this date will be accepted on a space
available basis at the reduced conference rate. Additional information
can be found here.
September is usually very busy in Montréal, so you should arrange
for your accommodation as soon as possible.
We have arranged special discounts with Continental Airlines. To take
advantage of these special discounts please call Continental Airlines
MeetingWorks at 1-800-468-7022 or your local travel agency and refer to
reference number NEFCW1 and ticket designator code ZTXW. As our official
carrier, Continental Airlines has provided us with the following discounts;
Following these instructions will ensure you receive the best possible price
and your organization receives the maximum group productivity benefit from
The banquet will take place on Wednesday evening at the
During the banquet the EAPLS best paper award will be presented.
- 10% off the full published fares
- 5% off the lowest fares
- Book and ticket 60 days or more prior to departure with the above
discounts and receive an additional 5% off the fare.
- Meeting Zone Fares, with a one night minimum, waiving the Saturday
night stay and they are refundable with a $75.00 fee.
Grants for young researchers
Students who will present a paper at one of the conferences or workshops
associated with PLI 2000 may apply for travel fellowships from the
For any information, please contact the conference secretariat
c/o Yvette Dubuis
DI - LAMP
EPFL - Ecole Polytechnique Federale de Lausanne
CH 1015 Lausanne
Telephone: +41 21 693 5202
Fax: +41 21 693 6660