PLI 2001 in Firenze: call for partecipation

Rosario Pugliese <pugliese@dsi.unifi.it>
21 Jun 2001 03:11:08 -0400

          From comp.compilers

Related articles
PLI 2001 in Firenze: call for partecipation pugliese@dsi.unifi.it (Rosario Pugliese) (2001-06-21)
| List of all articles for this month |
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/
================================================


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.