18th International Symposium on
Logic-Based Program Synthesis and Transformation

Valencia, Spain
July 17-18, 2008

Co-located with SAS 2008, PPDP 2008, and PLID 2008.

o  Conference Description
o  Conference Program
o  Proceedings
o  Important Dates
o  Submissions
o  Invited Speakers
o  Program Committee
o  Contacts
o  Call for Papers
o  Registration
o  Travel & Hotel Information
o  Conference Pictures

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).


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.

Cover of the proceedings

Important Dates

Submission of abstract: May 9, 2008 (strict!)
Paper/extended abstract submission: May 13, 2008 (strict!)
Notification (for pre-proceedings): June 8, 2008
Camera-ready (for pre-proceedings): June 29, 2008
Symposium: July 17-18, 2008
Submission of revised papers (for post-proceedings): October 12, 2008
Notification (for post-proceedings): November 9, 2008

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

Program Committee

Slim AbdennadherGerman University Cairo
Danny De SchreyeK.U.Leuven, Belgium
Wlodek DrabentPolish Academy of Sciences, Poland / Linköping University, Sweden
Gopal GuptaUniversity of Texas at Dallas, USA
Michael HanusUniversity of Kiel, Germany (Chair)
Patricia HillUniversity of Leeds, UK
Andy KingUniversity of Kent, UK
Michael LeuschelUniversity of Düsseldorf, Germany
Torben MogensenDIKU, University of Copenhagen, Denmark
Mario OrnaghiUniversità degli Studi di Milano, Italy
Étienne PayetUniversité de La Réunion, France
Alberto PettorossiUniversity of Rome Tor Vergata, Italy
Germán PueblaTechnical University of Madrid, Spain
C.R. RamakrishnanSUNY at Stony Brook, USA
Sabina RossiUniversità Ca' Foscari di Venezia, Italy
Chiaki SakamaWakayama University, Japan
Josep SilvaTechnical University of Valencia, Spain
Wim VanhoofUniversity of Namur, Belgium
Eelco VisserDelft University of Technology, The Netherlands


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

Michael Hanus