Friday, January 27, 2012

CFP: LOPSTR 212 in Leuven, Belgium

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

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.

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
Miguel Gomez-Zamalloa Complutense University of Madrid, Spain
Robert Glück University of Copenhagen, Denmark
Rémy Haemmerlé Technical University of Madrid, Spain
Reiner Hähnle TU Darmstadt, Germany
Geoff Hamilton Dublin City University, Ireland
Carsten Fuhs RWTH Aachen, Germany
Gerda Janssens K.U.Leuven, Belgium
Isabella Mastroeni University of Verona, Italy
Paulo Moura Universidade da Beira Interior, Portugal
Kazutaka Matsuda Tohoku University, Japan
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

* Confirmation pending