PLI2001: Early Registration Deadline is approaching

                    [Actually, it's past now. -BCP]

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

                Firenze, ITALY  September 2 - 8, 2001

The colloquium on Principles, Logics, and Implementations of high-
level programming languages is a collection of events aimed at the
advancement of high-level programming languages.
PLI 2001 includes the following conferences and workshops:

ACM Sponsored Conferences:
   ICFP (September 3-5)
     Int. Conf. on Functional Programming
     General chair: Benjamin Pierce (Univ. Pennsylvania)
     Program chair: Xavier Leroy (INRIA Rocquencourt)
     Invited speakers: To be announced
   PPDP (September 5-7)
     Int. Conf. on Principles and Practice of Declarative Programming
     Conference chair: Rocco De Nicola (Univ. Firenze)
     Program chair: Harald S?øndergaard (Univ. Melbourne)
     Invited speakers: J. Esparza, A. Gordon, and D.A. Schmidt.

ACM Sponsored Workshops:
    · BABEL (Multi-language Infrastructure and Interoperability)
    · QAPL (Quantitative Aspects of Programming Languages)
    · RULE (Rule-Based Programming)
    · SAIG (Semantics, Applications, and Implementation of Program
    · SCHEME (Scheme and Functional Programming)
    · VCL (Verification and Computational Logic)

Co-located Workshops:
    · ERLANG
    · FICS (Fixed Points in Computer Science)

A detailed presentation of PLI2001, including schedule of events,
travel, logistic and tourist information, is available at 

Registration and accommodation information and forms are available at
Early registration rates apply until July 25.

For informations about hotels please contact (mentioning PLI 2001)
        Giubbi Jet di Volo Viaggi
        Piazza San Jacopino, 34/r - 50144 Firenze
        Telephone:      +39 055 3249074 - +39 055 350577
        Fax:            +39 055 366807
        E-mail:         incoming@voloviaggi.com

For all other informations mail to pli-org@gdn.dsi.unifi.it

Firenze is packed in September; do book accommodation as soon as