PLI 2001 Announcement

Rosario Pugliese <pugliese@dsi.unifi.it>
12 Feb 2001 01:10:06 -0500

          From comp.compilers
Related articles
PLI 2001 Announcement pugliese@dsi.unifi.it (Rosario Pugliese) (2001-02-12)
| List of all articles for this month |
From: Rosario Pugliese <pugliese@dsi.unifi.it>
Newsgroups: comp.compilers
Date: 12 Feb 2001 01:10:06 -0500
Organization: University of Florence
Keywords: conference, CFP
Posted-Date: 12 Feb 2001 01:10:06 EST

                                                          PLI 2001
                            Principles, Logics, and Implementations
                                of high-level programming languages
                                                (Sponsored by ACM)
                              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 conferences and
workshops aimed at the advancement of high-level programming
languages. The events composing PLI will cover a spectrum of
topics important to language development and use, including issues
such as semantics, design, analysis, implementation, and
application. Theoretical issues relevant to language design and
programming will be represented. Implementation questions will
provide an emphasis on compilation methods, distributed
computation and static debugging techniques. There will also be a
focus on industrial and educational applications.


Conferences:
ICFP (September 3-5)
          Int. Conf. on Functional Programming
          General chair: Benjamin Pierce (Univ. Pennsylvania)
          Program chair: Xavier Leroy (INRIA Rocquencourt)
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)


Workshops:
· Multi­language Infrastructure and Interoperability (BABEL)
· ERLANG Workshop
· Fixed Points in Computer Science (FICS)
· HASKELL Workshop
· Quantitative Aspects of Programming Languages (QAPL)
· Rule-Based Programming (RULE)
· Semantics, Applications, and Implementation of Program
          Generation (SAIG)
· Scheme and Functional Programming (SCHEME)
· Verification and Computational Logic (VCL)


Submission deadline for ICFP and PPDP: March 15, 2001


Workshops chair: Betti Venneri (Univ. Firenze)


Publicity chair: Rosario Pugliese (Univ. Firenze)


Organizing Committee: Gianni Aguzzi (Univ. Firenze, co-chair),
Giorgio Ghelli (Univ. Pisa, co-chair), Lorenzo Bettini (Univ.
Firenze), Michele Loreti (Univ. Firenze), Dario Colazzo (Univ.
Pisa)


Contact Information: pli-inf@gdn.dsi.unifi.it


Conference Venue:
Auditorium Banca Toscana, Via Panciatichi, 87 (Firenze Nova),
Firenze, ITALY

Post a followup to this message

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