Theory and Practice of Logic Programming is planning a special issue on Program Development, on the occasion of the tenth anniversary of the first LOPSTR Workshop, and tentatively to appear in the beginning of 2002. High-quality papers are sought that either contain original research results or offer an insightful synthesis of past work on various aspects of program development. Topics include, but are not limited to:
|
|
| |
Revised and enhanced versions of papers published in conferences that have not appeared in archival journals are eligible for submission. In particular, papers describing important past research in this area which have not been published in archival journal papers are solicited. Surveys and comparison of state of the art techniques are also solicited.
Papers should be written in English, and formatted using the LaTeX style files developed by Cambridge University Press for TPLP. They can be downloaded from the directory: ftp://ftp.cup.cam.ac.uk/pub/texarchive/journals/latex/tlp-cls. The style files are tlp.bst and tlp.cls.
The submission deadline is 30 September 2000. Please either send six copies of your paper, or (preferably) email a PostScript file, to:
Authors are also requested to email a title and a four or five line abstract in plain text as early as possible to kung-kiu@cs.man.ac.uk to facilitate organization.