PLI2001: Early Registration Deadline is approaching (Firenze, Sep '01)

Rosario Pugliese <>
23 Jul 2001 02:20:32 -0400

          From comp.compilers

Related articles
PLI2001: Early Registration Deadline is approaching (Firenze, Sep '01) (Rosario Pugliese) (2001-07-23)
| List of all articles for this month |

From: Rosario Pugliese <>
Newsgroups: comp.compilers
Date: 23 Jul 2001 02:20:32 -0400
Organization: University of Florence
Keywords: conference
Posted-Date: 23 Jul 2001 02:20:31 EDT


                                                            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)
        · HASKELL
        · 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

For all other informations mail to

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

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.