PLI 2001 in Firenze

Rocco De Nicola <>
Fri Jun 15 09:37:38 CEST 2001


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: 	

For all other informations mail to 

-------------------------------------------------------------------
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/
<><><><><><><><><><><><><><><><><><><><><><><><><><>



More information about the erlang-questions mailing list