PLI 2000
Principles, Logics, and Implementations
of high-level programming languages
Montréal, Canada
September 17-22, 2000
http://www.cs.yorku.ca/pli00
This is a reminder that the early registration deadline for PLI 2000
is August 25th. You need to reserve by the end of this week in order
to get the cheaper registration rates and hotel bookings.
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.
PLI 2000 comprises the following conferences and workshops:
ICFP International Conference on Functional Programming
PPDP Principles and Practice of Declarative Programming
Haskell Workshop on Haskell
HLCL High-Level Concurrent Languages
HOOTS Higher Order Operational Techniques in Semantics
RULE Rule-Based Programming
Scheme Workshop on Scheme and Functional Programming
SAIG Semantics, Applications and Implementation of Program Generation
TIC Types in Compilation
For further information and registration forms, see
http://www.cs.yorku.ca/pli00
