LOPSTR 2012: Final Call for Papers

============================================================

                        Call for papers
                 22nd International Symposium on
         Logic-Based Program Synthesis and Transformation
                           LOPSTR 2012

                http://costa.ls.fi.upm.es/lopstr12
              Leuven, Belgium, September 18-20, 2012
                   (co-located with PPDP 2012)

============================================================


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 22nd International Symposium on Logic-based Program Synthesis and
Transformation (LOPSTR 2012) will be held in Leuven, Belgium; 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, Manchester and
Odense (you might have a look at the contents of past LOPSTR
symposia). LOPSTR 2012 will be co-located with PPDP 2012
(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. Both full
papers and extended abstracts 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).
Proceedings

The formal post-conference proceedings will be published by Springer
in the Lecture Notes in Computer Science series.

Important Dates

        Abstract submission:                  May 21,2012
        Paper submission:                     May 25, 2012
        Notification (for pre-proceedings):   June 29, 2012
        Camera-ready (for pre-proceedings):   July 8, 2012
        Symposium:                            September 18-20, 2012

Submissions must be formatted in the Lecture Notes in Computer Science
style. They cannot exceed 15 pages including references but excluding
well-marked appendices not intended for publication. Referees are not
required to read the appendices, and thus papers should be
intelligible without them.

Full papers can be directly accepted for publication in the formal
proceedings to be published by Springer in the LNCS series or accepted
only for presentation at the symposium. After the symposium, all
authors of extended abstracts and full papers accepted only for
presentation 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 may also be published
in the formal proceedings.

Authors should submit an electronic copy of the 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 2012.

Invited speakers:

- Tom Schrijvers, University of Ghent, Belgium 
- Jürgen Giesl, RWTH Aachen, Germany (shared with PPDP)

Program Committee:

Elvira Albert           Complutense University of Madrid, Spain
Sergio Antoy            Portland State University, US
Demis Ballis            University of Udine, Italy
Henning Christiansen    Roskilde University, Denmark
Michael Codish          Ben-Gurion University of the Negev, Israel
Danny De Schreye        K.U.Leuven, Belgium
Esra Erdem              Sabanci University, Istanbul
Maribel Fernandez       King's College London, UK
John Gallagher          Roskilde University, Denmark
Robert Glück            University of Copenhagen, Denmark
Miguel Gomez-Zamalloa   Complutense University of Madrid, Spain
Rémy Haemmerlé	        Technical University of Madrid, Spain
Reiner Hähnle           TU Darmstadt, Germany
Geoff Hamilton          Dublin City University, Ireland
Carsten Fuhs            University College London, UK
Gerda Janssens          K.U.Leuven, Belgium
Isabella Mastroeni      University of Verona, Italy
Kazutaka Matsuda	University of Tokyo, Japan
Paulo Moura             Universidade da Beira Interior, Portugal
Johan Nordlander        Luleå University of Technology, Sweden
Andrey Rybalchenko      Technische Universität München, Germany
Kostis Sagonas          Uppsala University, Sweden
Francesca Scozzari      Università "G. D'Annunzio" di Chieti, Italy
Valerio Senni           Universtà di Roma "Tor Vergata", Italy
German Vidal            Technical University of Valencia, Spain

Program Chair:

      Elvira Albert
      Department of Computer Science (DSIC)
      Complutense University of Madrid
      Madrid, Spain

General Co-Chairs

      Daniel De Schreye and Gerda Janssens
      Department of Computer Science
      K.U.Leuven, Celestijnenlaan 200 A, B-3001 Heverlee, Belgium