Related articles |
---|
PLI 2001 in Firenze: call for partecipation pugliese@dsi.unifi.it (Rosario Pugliese) (2001-06-21) |
From: | Rosario Pugliese <pugliese@dsi.unifi.it> |
Newsgroups: | comp.compilers |
Date: | 21 Jun 2001 03:11:08 -0400 |
Organization: | University of Florence |
Keywords: | conference |
Posted-Date: | 21 Jun 2001 03:11:08 EDT |
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.
-------------------------------------------------------------------
--
================================================
Rosario Pugliese
Dipartimento di Sistemi e Informatica
Universita' di Firenze
Via Lombroso, 6/17 --- I-50134 Firenze (ITALY)
tel. +39-0554796769 fax. +39-0554796730
e-mail: pugliese@dsi.unifi.it
http: rap.dsi.unifi.it/~pugliese/
================================================
Return to the
comp.compilers page.
Search the
comp.compilers archives again.