LOPSTR: Logic-Based Program Synthesis and Transformation

LOPSTR 2015, Siena

LOPSTR 2014, Canterbury

LOPSTR was founded by Kung-Kiu Lau in 1991. It has taken place annually since. The next LOPSTR symposium, LOPSTR'16, will be held in Edinburgh (UK) in September 6-8, 2016.

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

You can find here the old LOPSTR website maintained by Kung-Kiu Lau.

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:

Survey papers that present some aspects of the above topics from a new perspective, and application papers that describe experience with industrial applications are also welcome.

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.

Detailed information about the proceedings and their contents can be found in the DBLP database.
In 2002, a steering committee was set up. The current steering committee consists of the following members:

Former members include María Alpuente, Maurice Bruynooghe, Danny De Schreye, Sandro Etalle, Michael Hanus, Patricia Hill, Andy King, Kung-Kiu Lau, Michael Leuschel, and Germán Puebla.