[Apologies for multiple copies]
----------------------------------------------------------------
EARLY REGISTRATION DEADLINE IS APPROACHING
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, logistic and tourist information, is available at
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: [EMAIL PROTECTED]
For all other informations mail to [EMAIL PROTECTED]
-------------------------------------------------------------------
Firenze is packed in September; do book accommodation as soon as
possible.
-------------------------------------------------------------------
_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell
