LOPSTR 2000 Call for Papers


Tenth International Workshop on
Logic-based Program Synthesis and Transformation

Program Development Stream of CL 2000
First International Conference on Computational Logic

24-28 July 2000
Imperial College, London, UK

Call for Papers

LOPSTR 2000, The Tenth International Workshop on Logic-based Program Synthesis and Transformation will be held on 24-28 July 2000 at Imperial College, London, UK, as the Program Development Stream at CL2000, the First International Conference on Computational Logic.

The aim of LOPSTR is to stimulate and promote international research and collaboration on logic-based program development, and the workshop is open to contributions in logic-based program development in any paradigm. Past workshops were held in Manchester, UK (1991, 1992, 1998), Louvain-la-Neuve, Belgium (1993), Pisa, Italy (1994), Arnhem, the Netherlands (1995), Stockholm, Sweden (1996), Leuven, Belgium (1997), Venice, Italy (1999).

LOPSTR also aims to be a lively, friendly forum for presenting and discussing work in progress, so it is a real workshop in the sense that it is intended to provide useful feedback to authors on their preliminary research. Formal proceedings of the workshop are produced only after the workshop, in order that authors can incorporate this feedback in the published papers.

LOPSTR 2000 will be run as follows:
  • Authors submit extended abstracts (8 pages) describing work in progress.
  • Promising abstracts relevant to the scope of LOPSTR are selected for presentation at the workshop.
  • At the workshop, only informal pre-proceedings of the selected abstracts are available (usually in the form of a technical report).
  • After the workshop, authors of the best abstracts are invited to submit full papers. These are reviewed, and accepted papers then form the formal (fully refereed) proceedings of the workshop, currently published in the Lecture Notes in Computer Science series, by Springer-Verlag.


We solicit extended abstracts describing work in progress. Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large.

For programming-in-the-small, the following is a non-exhaustive list:
  • specification
  • synthesis
  • verification
  • transformation
  • specialisation
  • analysis
  • optimisation
  • composition
  • reuse
  • applications

For programming-in-the-large, the above topics are particularly of current interest in the context of:
  • component-based software development
  • software architectures
  • design patterns and frameworks

Submission Guidelines

Extended abstracts should be written in English and should not exceed 8 pages in llncs format ( http://www.springer.de/comp/lncs/authors.html). Abstracts must be submitted electronically using the submission form.

Submission deadline: 21 April 2000
Notification: 26 May 2000


As the Program Development Stream at CL2000, LOPSTR 2000 will also include CL 2000 full papers on program development (the submission deadline for these is past), and LOPSTR 2000 participants will be able to attend all CL 2000 sessions.

Back to LOPSTR 2000 home page