[Apologies for multiple copies]
----------------------------------------------------------------
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:
· Multilanguage 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: [EMAIL PROTECTED]
Conference Venue:
Auditorium Banca Toscana, Via Panciatichi, 87 (Firenze Nova),
Firenze, ITALY
_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell
