---------- Forwarded Message ---------- Subject: [SICStus] PLI 2001 in Firenze Date: Fri, 15 Jun 2001 09:37:38 +0200 From: Rocco De Nicola denicola@dsi.unifi.it To: amast@cs.utwente.nl, caml-list@pauillac.inria.fr, ccp@sics.se, clp@comp.nus.edu.sg, clean-list@cs.kun.nl, compunode@dfki.de, concurrency@cwi.nl, eacsl@dimi.uniud.it, erlang-questions@erlang.org, gulp@DI.Unipi.IT, haskell@haskell.org, logic@theory.lcs.mit.edu, lprolog@cs.umn.edu, mercury-users@cs.mu.oz.au, prolog-vendors@sics.se, rewriting@ens-lyon.fr, sicstus-users@sics.se, types@cis.upenn.edu, users@mozart-oz.org, grin@DI.Unipi.IT

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

-------------------------------------------------------