ICFP Haskell   HLCL   HOOTS   RULE    Scheme   SAIG   TIC   PPDP
 

PLI 2000

Principles, Logics, and Implementations
of high-level programming languages

Montréal, Canada
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

Workshops

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
Additional information can be found here.

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; Following these instructions will ensure you receive the best possible price and your organization receives the maximum group productivity benefit from Continental Airlines.

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

Microsoft-Research