ICFP

Stephen Weeks MLton@sourcelight.com
Mon, 5 Feb 2001 09:51:36 -0800 (PST)


Matthew, are you interested in submitting the dominator-based =
contification
algorithm to ICFP?

------------------------------------------------------------------------=
--------

                             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=20
     Programming
     Conference chair: Rocco De Nicola (Univ. Firenze)
     Program chair: Harald S=F8ndergaard (Univ. Melbourne)

Workshops:
=B7    Multi=ADlanguage Infrastructure and Interoperability (BABEL)
=B7    ERLANG Workshop
=B7    Fixed Points in Computer Science (FICS)
=B7    HASKELL Workshop
=B7    Quantitative Aspects of Programming Languages (QAPL)
=B7    Rule-Based Programming (RULE)
=B7    Semantics, Applications, and Implementation of Program
     Generation (SAIG)
=B7    Scheme and Functional Programming (SCHEME)
=B7    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