From: Rosario Pugliese
Subject: PLI 2001 in Firenze: call for partecipation
Date:
Message-ID: <3B2F6B3B.323B4F4@dsi.unifi.it>
[Apologies for multiple copies]
----------------------------------------------------------------
CALL FOR PARTICIPATION AND EARLY REGISTRATION
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 and tourist information, is available at the WEB page
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: ········@voloviaggi.com
For all other informations mail to ·······@gdn.dsi.unifi.it
-------------------------------------------------------------------
Firenze is packed in September; do book accommodation as soon as
possible.
-------------------------------------------------------------------
--
================================================
Rosario Pugliese
Dipartimento di Sistemi e Informatica
Universita' di Firenze
Via Lombroso, 6/17 --- I-50134 Firenze (ITALY)
tel. +39-0554796769 fax. +39-0554796730
e-mail: ········@dsi.unifi.it
http: rap.dsi.unifi.it/~pugliese/
================================================