21st International Symposium on
Logic-Based Program Synthesis and Transformation

Odense, Denmark
July 18-20, 2011

Co-located with PPDP 2011, AAIP 2011 and WFLP 2011.

o  Conference Description
o  Conference Program
o  Registration
o  Accomodation
o  Proceedings
o  Important Dates
o  Submissions
o  Invited Speakers
o  Program Committee
o  Contacts
o  Call for Papers
o  Sponsorships
Egeskov Slot
Lecture Hall


  • List of accepted papers     NEW!
  • Registration is open      NEW!
  • Local information (travel, venue, accomodation and registration) already available here.
  • Submission deadlines (for both full papers and extended abstracts) have been extended to April 17, 2011 !!

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 21st International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2011) will be held in Odense, Denmark; previous symposia were held in 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). LOPSTR 2011 will be co-located with PPDP 2011 (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
  • verification
  • analysis
  • specialization
  • composition
  • certification
  • transformational techniques in SE
  • synthesis
  • transformation
  • optimisation
  • inversion
  • program/model manipulation
  • security
  • applications and tools
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 formal post-conference proceedings will be published by Springer in the Lecture Notes in Computer Science series.

Important Dates

    Paper submission:        March 27,2011     April 17, 2011
    Extended abstract submission:         April 3, 2011     April 17, 2011
    Notification (for pre-proceedings):     May 16, 2011      May 26, 2011
    Camera-ready (for pre-proceedings):     June 12, 2011      June 19, 2011
    Symposium: July 18-20, 2011

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 short and full papers can be accepted for presentation at the symposium and will then appear in the LOPSTR 2011 pre-proceedings. Full papers can also be immediately accepted for publication in the formal proceedings to be published by Springer in the LNCS series. In addition, after the symposium, the programme committee will select further short or full papers presented in LOPSTR 2011 to be considered for formal publication. These authors will be invited to revise and/or extend their submissions in the light of the feedback solicited at the symposium. Then after another round of reviewing, these revised papers can also be 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; 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 2011.

Invited Speakers

Invited talks will be given by

  • John Gallagher
  • Roskilde University, Denmark
  • Fritz Henglein
  • University of Copenhagen, Denmark shared with PPDP
  • Vitaly Lagoon
  • Cadence Design Systems, Boston, USA shared with PPDP

    See also the PPDP, WFLP and AAIP invited speakers.

    Program Committee

    Elvira AlbertComplutense University of Madrid, Spain
    Malgorzata BiernackaUniversity of Wroclaw, Poland
    Manuel CarroTechnical University of Madrid, Spain
    Michael CodishBen-Gurion University of the Negev, Israel
    Danny De SchreyeK.U.Leuven, Belgium
    Maribel FernandezKing's College London, UK
    Raul GutierrezUniversity of Illinois at Urbana-Champaign, USA
    Mark HarmanUniversity College London, UK
    Frank HuchC.A.U. Kiel, Germany
    Michael LeuschelUniversity of Düsseldorf, Germany
    Yanhong Annie LiuState University of New York at Stony Brook, USA
    Kazutaka MatsudaTohoku University, Japan
    Fred MesnardUniversite de La Reunion, France
    Ulrich NeumerkelTechnical University of Wien, Austria
    Alberto PettorossiUniversita' di Roma Tor Vergata, Italy
    Carla PiazzaUniversity of Udine, Italy
    Peter Schneider-KampUniversity of Southern Denmark, Denmark
    Hirohisa SekiNagoya Institute of Technology, Japan
    Josep SilvaUniversitat Politècnica de València, Spain
    German VidalUniversitat Politècnica de València, Spain
    Jurgen VinjuCentrum Wiskunde & Informatica, The Netherlands
    Jianjun ZhaoShanghai Jiao Tong University, Shanghai, China


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

    German Vidal
    Department of Computer Science (DSIC)
    Universitat Politècnica de València
    Valencia, Spain
    Email: gvidal@dsic.upv.es

    General Chair

    Peter Schneider-Kamp
    Dept. of Mathematics and Computer Science
    University of Southern Denmark
    Campusvej 55
    DK-5230 Odense M, Denmark
    Email: petersk@imada.sdu.dk

    Call for Papers

    You can view or download the Call for Papers as

    German Vidal