LOPSTR was founded by Kung-Kiu Lau in 1991. It has taken place annually since.
The next LOPSTR symposium, LOPSTR 2021, will be held in Tallinn (Estonia) in September 7-9, 2021.
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.
|Emanuele De Angelis||(PC chair LOPSTR 2021)|
|Wim Vanhoof||(PC chair LOPSTR 2021)|
|Maribel Fernández||(PC chair LOPSTR 2020)|
|Maurizio Gabbrielli||(PC chair LOPSTR 2019)|
|Fred Mesnard||(PC chair LOPSTR 2018)|
|Peter Stuckey||(PC chair LOPSTR 2018)|
|Fabio Fioravanti||(PC chair LOPSTR 2017)|
|John Gallagher||(PC chair LOPSTR 2017)|
|Manuel Hermenegildo||(PC chair LOPSTR 2016)|
|Pedro López||(PC chair LOPSTR 2016)|
|Moreno Falaschi||(PC chair LOPSTR 2015)|
|Maurizio Proietti||(PC chair LOPSTR 2014)|
|Hirohisa Seki||(PC chair LOPSTR 2014)|
|Alberto Pettorossi||(chair of the LOPSTR steering commitee)|
Former members include Elvira Albert, María Alpuente, Maurice Bruynooghe, Danny De Schreye, Sandro Etalle, Gopal Gupta, Michael Hanus, Patricia Hill, Andy King, Kung-Kiu Lau, Michael Leuschel, Germán Puebla, and Germán Vidal.