<table width="100%" cellspacing="0" cellpadding="0"><tbody><tr><td align="center"> <div class="cfp" align="left"><br>The aim of the LOPSTR series is to stimulate and promote international<br>research and collaboration on logic–based program development. LOPSTR<br>is open to contributions in logic–based program development in any<br>language paradigm. LOPSTR has a reputation for being a lively,<br>friendly forum for presenting and discussing work in progress. Formal<br>proceedings are produced only after the symposium so that authors can<br>incorporate this feedback in the published papers.<br>The 28th International Symposium on Logic–based Program Synthesis and<br>Transformation (LOPSTR 2018) will be held at the Goethe–University<br>Frankfurt am Main, Germany. Previous symposia were held in Siena,<br>Canterbury, Madrid, Leuven, Odense, Hagenberg, Coimbra, Valencia,<br>Lyngby, Venice, London, Verona, Uppsala, Madrid, Paphos, London,<br>Venice, Manchester, Leuven, Stockholm, Arnhem, Pisa, Louvain–la–Neuve,<br>Manchester, Edinburgh, and Namur. LOPSTR 2018 will be co–located<br>with PPDP 2018 (International Symposium on Principles and Practice<br>of Declarative Programming) and WFLP 2018 (International Workshop on<br>Functional and Logic Programming).<br>Topics of interest cover all aspects of logic–based program<br>development, all stages of the software life cycle, and issues of both<br>programming–in–the–small and programming–in–the–large. Both full<br>papers and extended abstracts describing applications in these areas<br>are especially welcome. Contributions are welcome on all aspects of<br>logic–based program development, including, but not limited to:<br>* synthesis<br>* transformation<br>* specialization<br>* composition<br>* optimization<br>* inversion<br>* specification<br>* analysis and verification<br>* testing and certification<br>* program and model manipulation<br>* transformational techniques in SE<br>* applications and tools<br></div> </td></tr></tbody></table>
Abbrevation
LOPSTR
City
Frankfurt am Main
Country
Germany
Deadline Paper
Start Date
End Date
Abstract