[Prev][Next][Index][Thread]
PLI 2001 in Firenze: call for participation
-
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
-
Subject: PLI 2001 in Firenze: call for participation
-
From: Rocco De Nicola <denicola@dsi.unifi.it>
-
Date: Fri, 15 Jun 2001 09:37:38 +0200
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/
<><><><><><><><><><><><><><><><><><><><><><><><><><>