[Apologies for multiple copies] ---------------------------------------------------------------- EARLY REGISTRATION DEADLINE IS APPROACHING 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. -------------------------------------------------------------------