Its original title was International Workshop on Logic Program Synthesis and Transformation, and the workshop was intended to focus on logic programs. The title was changed to International Workshop on Logic-based Program Synthesis and Transformation in 1998 to reflect a widening of its scope. It was changed to International Symposium on Logic-based Program Synthesis and Transformation in 2002.
Currently, 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 that authors can incorporate this feedback in the published papers.
LOPSTR is usually co-located with PPDP (International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming).
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. Both full papers and extended abstracts describing applications in these areas are especially welcome. Contributions are welcome on all aspects of logic-based program development, including, but not limited to:
The formal post-conference proceedings are published by Springer in the Lecture Notes in Computer Science series.
Full papers can be directly accepted for publication in the formal proceedings, or accepted only for presentation at the symposium and inclusion in informal proceedings.
After the symposium, all authors of extended abstracts and full papers accepted only for presentation are invited to revise and/or extend their submissions in the light of the feedback solicited at the symposium. Then, after another round of reviewing, these revised papers may also be published in the formal proceedings.