PLI 2001 in Firenze: call for partecipation

Rosario Pugliese <>
21 Jun 2001 03:11:08 -0400

          From comp.compilers

Related articles
PLI 2001 in Firenze: call for partecipation (Rosario Pugliese) (2001-06-21)
| List of all articles for this month |

From: Rosario Pugliese <>
Newsgroups: comp.compilers
Date: 21 Jun 2001 03:11:08 -0400
Organization: University of Florence
Keywords: conference
Posted-Date: 21 Jun 2001 03:11:08 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 and tourist information, is available at the WEB page

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
Rosario Pugliese
Dipartimento di Sistemi e Informatica
Universita' di Firenze
Via Lombroso, 6/17 --- I-50134 Firenze (ITALY)
tel. +39-0554796769 fax. +39-0554796730

Post a followup to this message

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