Conference Description

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 18th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2008) will be held in Valencia, Spain; previous symposia were held in 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). LOPSTR 2008 will be co-located with SAS 2008 (International Static Analysis Symposium) and PPDP 2008 (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. 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, 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 questions).

Proceedings

The pre-proceedings of LOPSTR 2008 are available as a PDF document. The formal post-conference proceedings have been published by Springer-Verlag in the Lecture Notes in Computer Science series as volume 5438.

Important Dates

Submission Guidelines

Submissions can either be (short) extended abstracts or (full) papers whose length should not exceed 9 and 15 pages (including references), respectively. Submissions must be formatted in the Lecture Notes in Computer Science style (excluding 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 comments of the reviewers and the feedback solicited at the meeting. Then after another round of reviewing, the revised papers which are accepted will be also published in the formal proceedings.

Authors should submit an electronic copy of the full paper (written in English) in PDF or Postscript (Level 2). Each submission must include on its first page the paper title; authors and their affiliations; contact author's email and postal addresses, telephone and fax numbers, abstract, and three to four keywords. The keywords will be used to assist us in selecting appropriate reviewers for the paper. If electronic submission is impossible, please contact the program chair for information on how to submit hard copies.

Papers should be submitted to the submission website for LOPSTR 2008.

Invited Speakers

Invited talks will be given by

• Peter O'Hearn (University of London)
• see here for SAS invited speakers

Program Committee

Contacts

Program Chair (contact him for additional information about papers and submissions):

Michael Hanus
Institut für Informatik
Christian-Albrechts-Universität Kiel
D-24098 Kiel, Germany
Email: mh@informatik.uni-kiel.de

Local Organization Chair:

Josep Silva
Departamento de Sistemas Inform. y Comp.
Universitat Politècnica de Valencia
Camino de la Vera s/n
E-46022 Valencia, Spain
Email: jsilva@dsic.upv.es

Call for Papers

You can view or download the Call for Papers as

• plain text
• Postscript (this page on two pages)
• Postscript (this page on one page)