Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
PADO-II Call for Papers
[go: Go Back, main page]

Call for Papers

Second 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:

Original results that bear on these and related topics are solicited. Prospective authors should submit papers through PADO-II's home page no later than Friday, December 1, 2000, which is an extended deadline. 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, include an e-mail address, and contain page numbers (just add "\pagestyle{plain}" before "\begin{document}").

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
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

PADO-II is co-located with MFPS XVII and ICC'01, and held in cooperation with
,
the Esprit Working Group APPSEM,
EAPLS, and
ACM SIGPLAN.