Call for Papers: 23rd Symposium on Logic-based Programming Synthesis and Transformation

Paper submission deadline is June 11, 2013.

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

                       LOPSTR'13

                 23rd International Symposium on
        Logic-Based Program Synthesis and Transformation
                          LOPSTR 2013

             http://www.utdallas.edu/~gupta/lopstr
             Madrid, Spain, September 18-20, 2013


DEADLINES
Abstract submission: June 4,  2013
Paper submission:    June 11, 2013

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


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 23rd International Symposium on Logic-based Program Synthesis and
Transformation (LOPSTR 2013) will be held in Madrid, Spain; previous
symposia were held in Leuven, 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 2013 will be co-located with PPDP 2013
(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:                  June 4,  2013
       Paper submission:                     June 11, 2013
       Notification (for pre-proceedings):   July 20, 2013
       Camera-ready (for pre-proceedings):   July 27, 2013
       Symposium:                            September 18-20, 2013

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


Program Committee
      	Salvador Abreu		Universidade de Evora and CENTRIA
 	Elvira Albert		Complutense University of Madrid, Spain
 	Sergio Antoy		Portland State University, US
 	Henning Christiansen	Roskilde University, Denmark
 	Hai Feng Guo		University of Nebraska at Omaha
 	Gopal Gupta		University of Texas at Dallas (Program Chair)
 	Manuel Hermenegildo	T.U. Madrid and IMDEA Software Research Institute
 	Jacob Howe		City University
 	Patricia Hill 		University of Parma
 	Michael Leuschel	University of D??sseldorf
 	Paulo Moura		Universidade da Beira Interior, Portugal
 	Ricardo Pe??a		Universidad Complutense de Madrid
 	Enrico Pontelli 	New Mexico State University
 	I. V. Ramakrishnan	SUNY Stony Brook
 	Neda Saeedloei		University of Texas at Dallas
 	Hirohisa Seki		Nagoya Institute of Technology
 	Paul Tarau		University of North Texas
 	Neng-Fa Zhou		CUNY Brooklyn College and Graduate Center

Program Chair:

     Gopal Gupta
     Department of Computer Science
     The University of Texas at Dallas
     USA

Symposium Chair

     Ricardo Pena
     Facultad de Informatics
     Universidad Complutense de Madrid
     28040 Madrid, Spain