[Prev][Next][Index][Thread]

PADO-II CFP -- reminder



News:

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

- Some financial support will be available for student participation. 

----------

			     Call for Papers

	     Symposium on Programs as Data Objects (PADO-II)
		    Aarhus, Denmark, May 21-23, 2001
		      <http://www.brics.dk/~pado2>


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.

Original results that bear on these and related topics are solicited.
Prospective authors should submit papers directly to <pado2@brics.dk> to
arrive no later than November 10, 2000.  Authors concerned about the
appropriateness of a topic are encouraged to consult with the program
chairs prior to submission.

Complete papers should be submitted electronically, either in PostScript
or in PDF.  (If this is a problem, please contact the program chairs.)
Filenames should result from the catenation of the names of its authors
(ie, *not* "paper.ps", "pado2.ps", "popl00.ps", etc., but, eg,
"dupond-dupont.ps.gz", "brown-al.ps.gz", or "pedersen.ps.gz").
Submissions should not exceed 14 pages in the LNCS format
<http://www.springer.de/comp/lncs/authors.html>.  They must designate a
corresponding author and include an e-mail address.

Submitted papers will be judged on the basis of relevance, significance,
correctness, originality, and clarity.  They should include a clear
identification of what has been accomplished and why it is significant.
Submissions must include an abstract and a discussion of related work.
They must describe work that has not previously been published in a major
forum.  The authors should indicate if a closely related paper is also
being considered for another conference or journal.

Authors will be notified of acceptance by January 16, 2001.  Full
versions of the accepted papers should be formatted in the LNCS format,
and received no later than February 16, 2001.  Accepted papers will be
presented at the symposium and will appear in the proceedings, which will
be published as a Springer LNCS volume.  Further information about the
symposium is available in its home page at <http://www.brics.dk/~pado2>.

Chairpersons:
  Olivier Danvy <danvy@brics.dk>
  Andrzej Filinski <andrzej@brics.dk>
  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
  Yoshihito 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

PADO-II is co-located with MFPS XVII <www.math.tulane.edu/mfps17.html>.

----------