[Prev][Next][Index][Thread]

PLI 2001 in Firenze: call for participation



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 Sndergaard (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@voloviaggi.com

For all other informations mail to pli-org@gdn.dsi.unifi.it

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