NEWS The LOPSTR 2017 post-proceedings have been published as Lecture Notes in Computer Science. volume 10855 (ISBN: 978-3-319-94459-3). Free access is granted by clicking on the previous link until August 10, 2018.
NEWS The LOPSTR 2017 best paper award has be assigned to Michele Alberti and Julien Signoles for the paper "Context Generation from Formal Specifications for C Analysis Tools"
October 10-12, 2017 - Namur, Belgium
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.
The 27th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2017) will be held at the University of Namur, Namur, Belgium; previous symposia were held in Edinburgh, Siena, Canterbury, Madrid, Leuven, Odense, Hagenberg, Coimbra, Valencia, Lyngby, Venice, London, Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven, Stockholm, Arnhem, Pisa, Louvain-la-Neuve and Manchester (you might have a look at the contents of past LOPSTR symposia at DBLP).
LOPSTR 2017 will be co-located with PPDP 2017 (the ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming). Information about venue and travel is available on the joint PPDP / LOPSTR conference website.
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
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.
Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of doubt).
|Abstract submission:||June 18, 2017 (extended)|
|Paper submission:||June 25, 2017 (extended)|
|Notification (for pre-proceedings):||July 25, 2017|
|Symposium:||October 10-12, 2017|