LOPSTR 2008: Preliminary Call for Papers

======================================================================

                           CALL FOR PAPERS

                    18th International Symposium on
  International Symposium on Logic-Based Program Synthesis and Transformation
                                LOPSTR 2008
             http://www.informatik.uni-kiel.de/~mh/lopstr08/

                  July 17-18, 2008, Valencia, Spain

                      (co-located with SAS 2008)

======================================================================

Objectives:

The aim of the LOPSTR series is to stimulate and promote international
research and collaboration on logic-based program development.  LOPSTR
is open to contributions in logic-based program development in any
language paradigm.  LOPSTR has a reputation for being a lively,
friendly forum for presenting and discussing work in progress. Formal
proceedings are produced only after the symposium, so authors can
incorporate this feedback in the published papers.

Topics:

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