PADO II will bring together researchers working in the areas of programming and programming languages. The symposium focuses on techniques and supporting theory for treating programs as data objects. Technical topics include, but are not limited to:

• Program manipulation: program specialization, type specialization, partial evaluation, normalization, reflection, rewriting, run-time code generation, self-application.
• Program analysis: abstract interpretation, constraints, type inference, binding-time analysis.
• Theoretical issues in representing and classifying programs: semantics, algorithmics, logics.
• Applications: interpretation, compilation, compiler generation, verification, certification, meta-programming, instrumentation, incremental computation, staging, prototyping, debugging.

Important Dates for Authors

Call for papers (also available in PostScript format and in PDF format).

Chairpersons:

• Olivier Danvy, BRICS, University of Aarhus, Denmark
• Andrzej Filinski, BRICS, University of Aarhus, Denmark

Program committee:

• Torben Amtoft, Boston University, USA
• Charles Consel, LaBRI / ENSERB, France
• Catarina Coquand Chalmers University, Sweden
• Radhia Cousot, Ecole Polytechnique, France
• Yoshihiko Futamura, Waseda University, Japan
• Fritz Henglein, IT University, Denmark
• Peter Lee, Carnegie Mellon University, USA
• Annie Liu, Stony Brook, USA
• Dave MacQueen Bell Labs, USA
• James S. Royer, Syracuse University, USA
• Morten Heine Sørensen, IT Practice, Denmark
• Carolyn L. Talcott, Stanford University, USA
• Jon L White, CommerceOne, Inc., USA

The proceedings will be published as Springer LNCS volume 2053.

Some financial support will be available for student participation.

Invited talks:

• Neil Jones: Program Analysis for Implicit Computational Complexity
• Harald Ganzinger: Bottom-up Deduction with Deletion and Priorities

PADO-II is held in cooperation with , the Esprit Working Group APPSEM, EAPLS, and SIGPLAN.

visits since August 10, 2000.

Upcoming event: PEPM'02