Theory and Practice of Logic Programming

                        Editor-in-Chief: J. Minker
                                         
-----------------------------------------------------------------------
                   Special Issue on Program Development
------------------------------------------------------------------------

           Guest Editors: Maurice Bruynooghe and Kung-Kiu Lau

               http://www.cs.man.ac.uk/~kung-kiu/tplp

                        CALL FOR PAPERS

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:

        -  specification   -  termination
        -  synthesis       -  verification
        -  transformation  -  components and composition
        -  analysis        -  (semi-)automatic tools
        -  specialization  -  applications
        -  program development methodologies and environments

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:

                      Kung-Kiu Lau
                 Dept. of Computer Science
                  University of Manchester
                      Oxford Road
                    Manchester M13 9PL
                    United Kingdom
                Email: kung-kiu@cs.man.ac.uk

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.

                 --- Cambridge University Press ---