The invited speaker at LOPSTR'07 will be Michael Codish (Ben-Gurion University of the Negev, Israel) who will speak on Proving Termination with (Boolean) Satisfaction.

The invited speakers at SAS'07 will be Alan Mycroft (University of Cambridge, UK) and Frank Tip (IBM Watson Research Center, Hawthorne, USA).


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 Seventeenth International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2007) will be held in Lyngby Denmark; previous symposia were held in Venice, London, Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven, Stockholm, Arhhem, Pisa, Louvain-la-Neuve, and Manchester. LOPSTR 2007 will be co-located with SAS 2007 - The International Static Analysis Symposium.


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. Papers describing applications in these areas are especially welcome. Contributions are welcome on all aspects of logic-based program development, including, but not limited to:

specification   synthesis
verification   transformation
analysis   optimisation
composition   security
reuse   applications and tools
component-based software development   software architectures
agent-based software development   program refinement

Survey papers, that present some aspect 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 or a conference with refereed proceedings.

Important Dates

Submission of paper/extended abstract June 8, 2007
Notification (for pre-proceedings) July 13, 2007
Revised version (for pre-proceedings) August 7, 2007
Conference August 23-24, 2007
Submission of revised papers (for post-proceedings) November 9, 2007 (web submission system now closed)
Notification (for post-proceedings) December 7, 2007

Submission Information and Special Issue

Submissions can either be (short) extended abstracts or (full) papers whose length should not exceed 9 and 15 pages respectively. Submissions must be formatted in the Lecture Notes in Computer Science style (excluding bibliography and well-marked appendices not intended for publication). Referees are not required to read the appendices, and thus papers should be intelligible without them. Short papers may describe work-in-progress or tool demonstrations.

Both accepted short and full papers will appear in the pre-proceedings. The full papers will automatically appear in the formal proceedings that will be published by Springer-Verlag in the Lecture Notes in Computer Science series. In addition, after the symposium, the programme committee will select those short papers to be considered for formal publication. These authors will be invited to revise and extend their submissions in the light of the feedback solicited at the meeting. Then after another round of reviewing, these revised papers will be also published in the formal proceedings.

The post-conference proceedings have now been published as Springer LNCS volume 4915

Submission must be through the web submission system.


Symposium Venue

The conference takes place at the Technical University of Denmark in Kongens Lyngby, which is situated 15 km north of the center of Copenhagen, the capital of Denmark.