PLI 2001 in Firenze

Rocco De Nicola
Fri, 15 Jun 2001 09:37:38 +0200


                              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=F8ndergaard (Univ. Melbourne)
     Invited speakers: J. Esparza, A. Gordon, and D.A. Schmidt.

ACM Sponsored Workshops:
   =B7 BABEL (Multi-language Infrastructure and Interoperability)
   =B7 QAPL (Quantitative Aspects of Programming Languages)
   =B7 RULE (Rule-Based Programming)
   =B7 SAIG (Semantics, Applications, and Implementation of Program
   =B7 SCHEME (Scheme and Functional Programming)
   =B7 VCL (Verification and Computational Logic)

Co-located Workshops:
   =B7 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.

=46or 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

=46or all other informations mail to

=46irenze 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: