PLI 2001 in Firenze

classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

PLI 2001 in Firenze

Rocco De Nicola
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: incoming

For all other informations mail to pli-org

-------------------------------------------------------------------
Firenze is packed in September; do book accommodation as soon as possible.
-------------------------------------------------------------------
--

<><><><><><><><><><><><><><><><><><><><><><><><><><>
Prof. Rocco De Nicola
Dip. Sistemi e Informatica     Univ. di Firenze
Via C. Lombroso 6/17    I-50134 FIRENZE (ITALY)
tel. +39 055 4796733        fax +39 055 4796730
Web Page: http://www.dsi.unifi.it/~denicola/
<><><><><><><><><><><><><><><><><><><><><><><><><><>