 |
PLI 2000
Principles,
Logics, and
Implementations
|
September 17 - 22, 2000
PLI 2001
Program in PostScript and PDF
Presentation
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
| Sep 17 Sun |
Sep 18 Mon |
Sep 19 Tue |
Sep 20 Wed |
Sep 21 Thu |
Sep 22 Fri |
||||||||||||||||||
| I C F P | P P D P | ||||||||||||||||||||||
| Haskell | RULE | HLCL | TIC | HOOTS | |||||||||||||||||||
| Scheme | SAIG | ||||||||||||||||||||||
| Reception | Banquet | ||||||||||||||||||||||
Conferences
- ICFP: The 2000 International Conference on Functional Programming
- PPDP: 2nd International Conference on Principles and Practice of Declarative Programming
Workshops
- Haskell Workshop
- HLCL: 4th International Workshop on High-level Concurrent Languages
- HOOTS: The Fourth International Workshop on Higher Order Operational Techniques in Semantics
- RULE: First International Workshop on Rule-Based Programming
- Scheme: Workshop on Scheme and Functional Programming
- SAIG: Semantics, Applications and Implementation of Program Generation
- TIC: The Third International Workshop on Types in Compilation
Programs
Registration
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.Venue
PLI 2000 will be held in Montréal, at|
Holiday Inn Select Jardin Sinomonde 99 avenue Viger Ouest Montréal (Québec) Canada H2Z 1E9 Reservation: +1 888 878 9888 Email: hiselect-yul@sympatico.ca Telephone: +1 514 878 9888 Fax: +1 514 878 6341 |
Accommodation
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.
Travel Information
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;- 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.
Banquet
The banquet will take place on Wednesday evening at the Marché Bonsecours. During the banquet the EAPLS best paper award will be presented.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 PAC fund.Conference secretariat
For any information, please contact the conference secretariat|
PLI 2000 c/o Yvette Dubuis DI - LAMP EPFL - Ecole Polytechnique Federale de Lausanne IN (Ecublens) CH 1015 Lausanne Switzerland Telephone: +41 21 693 5202 Fax: +41 21 693 6660 |
|||||||||||||||||||||||||||||||||||||||||||||||||
Links
Sponsors
|