Second Symposium on Programs as Data Objects PADO II
Aarhus, Denmark, 21-23 May 2001
|
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.
- 1 December 2000 -- Extended deadline for paper submissions.
|
- 16 January 2001 -- Notification of acceptance.
|
- 16 February 2001 -- Final paper due.
|
- 30 April 2001 -- Early registration deadline.
|
- 21-23 May 2001 -- PADO II.
|
Call for papers
(also available in
PostScript format and in
PDF format).
Chairpersons:
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
|