[Prev][Next][Index][Thread]

PLI2001: Early Registration Deadline is approaching

              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
                  http://music.dsi.unifi.it/pli01/

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
        Generation)
    · 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 
http://music.dsi.unifi.it/pli01/.

Registration and accommodation information and forms are available at
http://music.dsi.unifi.it/pli01/registration/
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
possible.
-------------------------------------------------------------------