Contact Information Info for Participants Registration and Accommodation Final Program
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, such as the use of type theory, logic, and logical methods in understanding and efficiently carrying out computations, 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. The programming languages and paradigms that are of interest have a special significance in the practice of software and at least one objective is to enhance the state-of-the-art in this realm.
ICFP: International Conference on Functional Programming
PPDP: Principles and Practice of Declarative Programming
BABEL: Multilanguage Infrastructure and Interoperability
HASKELL Workshop
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
Sep 2 Sunday | Sep 3 Monday | Sep 4 Tuesday | Sep 5 Wednesday | Sep 6 Thursday | Sep 7 Friday | Sep 8 Saturday | |
I C F P | P P D P | ||||||
ERLANG | RULE | SAIG | QAPL | BABEL | |||
HASKELL | VCL | FICS | |||||
SCHEME |
Co-chairs: Rocco De Nicola (Univ. Firenze),
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), Dario Colazzo (Univ. Pisa)
PLI 2001 is organized in collaboration with the ACM SIGPLAN
and with the sponsorship of