<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">
============================================================<br>
<br>
25th International Symposium on<br>
Logic-Based Program Synthesis and Transformation<br>
LOPSTR 2015<br>
<br>
Special Issue of Formal Aspects of Computing<br>
<br>
<a href="http://alpha.diism.unisi.it/lopstr15/">http://alpha.diism.unisi.it/lopstr15/</a><br>
<br>
University of Siena, Siena, IT, July 13-15, 2015<br>
(co-located with PPDP 2015)<br>
<br>
<br>
DEADLINES<br>
Abstract submission: April 6, 2015<br>
Paper/Extended abstract submission: April 13, 2015<br>
<br>
============================================================<br>
<br>
<br>
The aim of the LOPSTR series is to stimulate and promote international<br>
research and collaboration on logic-based program development. LOPSTR<br>
is open to contributions in logic-based program development in any<br>
language paradigm. LOPSTR has a reputation for being a lively,<br>
friendly forum for presenting and discussing work in progress. Formal<br>
proceedings are produced only after the symposium so that authors can<br>
incorporate this feedback in the published papers.<br>
<br>
The 25th International Symposium on Logic-based Program Synthesis and<br>
Transformation (LOPSTR 2015) will be held at the University of Siena, <br>
Siena, Italy; previous symposia were held in Canterbury, Madrid, <br>
Leuven, Odense, Hagenberg, Coimbra, Valencia, Lyngby, Venice, London, <br>
Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven, <br>
Stockholm, Arnhem, Pisa, Louvain-la-Neuve, and Manchester. <br>
LOPSTR 2015 will be co-located with PPDP 2015 (International Symposium <br>
on Principles and Practice of Declarative Programming).<br>
<br>
Topics of interest cover all aspects of logic-based program<br>
development, all stages of the software life cycle, and issues of both<br>
programming-in-the-small and programming-in-the-large. Both full<br>
papers and extended abstracts describing applications in these areas<br>
are especially welcome. Contributions are welcome on all aspects of<br>
logic-based program development, including, but not limited to:<br>
<br>
* synthesis<br>
* transformation<br>
* specialization<br>
* composition<br>
* optimization<br>
* inversion<br>
* specification<br>
* analysis and verification<br>
* testing and certification<br>
* program and model manipulation<br>
* transformational techniques in SE<br>
* applications and tools<br>
<br>
Survey papers that present some aspects of the above topics from a new<br>
perspective, and application papers that describe experience with<br>
industrial applications are also welcome.<br>
<br>
Papers must describe original work, be written and presented in<br>
English, and must not substantially overlap with papers that have been<br>
published or that are simultaneously submitted to a journal,<br>
conference, or workshop with refereed proceedings. Work that already<br>
appeared in unpublished or informally published workshop proceedings<br>
may be submitted (please contact the PC chair in case of questions).<br>
<br>
<br>
Important Dates<br>
<br>
Abstract submission: April 6, 2015<br>
Paper/Extended abstract submission: April 13, 2015<br>
Notification: May 25, 2015<br>
Camera-ready (for electronic pre-proceedings): June 15, 2015<br>
Symposium: July 13-15, 2015<br>
<br>
<br>
Submission Guidelines<br>
<br>
Authors should submit an electronic copy of the paper (written in <br>
English) in PDF, formatted in the Lecture Notes in Computer Science <br>
style. Each submission must include on its first page the paper <br>
title; authors and their affiliations; contact author's email; <br>
abstract; and three to four keywords which will be used to assist <br>
the PC in selecting appropriate reviewers for the paper. Page numbers <br>
should appear on the manuscript to help the reviewers in writing <br>
their report. Submissions cannot exceed 15 pages including references <br>
but excluding well-marked appendices not intended for publication. <br>
Reviewers are not required to read the appendices, and thus papers <br>
should be intelligible without them. <br>
Papers should be submitted via the Easychair submission website for <br>
LOPSTR 2015, which can be accessed through the website of LOPSTR 2015. <br>
<br>
<br>
Proceedings<br>
<br>
The formal post-conference proceedings will be published by Springer <br>
in the Lecture Notes in Computer Science series. <br>
Full papers can be directly accepted for publication in the formal <br>
proceedings, or accepted only for presentation at the symposium and <br>
inclusion in informal proceedings. After the symposium, all authors <br>
of extended abstracts and full papers accepted only for presentation <br>
will be invited to revise and/or extend their submissions in the light <br>
of the feedback solicited at the symposium. Then, after another round <br>
of reviewing, these revised papers may also be published in the formal <br>
proceedings. <br>
<br>
<br>
Special journal issue<br>
<br>
After the symposium, a selection of the best papers will be invited to<br>
a special issue of the 'Formal Aspects of Computing' journal. The <br>
submissions to the special issue must be substantial extensions of the <br>
proceedings versions and will undergo the usual journal reviewing <br>
process.<br>
<br>
<br>
Invited speakers<br>
<br>
Patrick Cousot, New York University, USA (Jointly with PPDP)<br>
Gilles Barthe, IMDEA Software Institute, Spain<br>
Dale Miller, INRIA and LIX/Ecole Polytechnique, France<br>
<br>
<br>
Program Committee<br>
<br>
Slim Abdennadher, German University of Cairo, Egypt<br>
Maria Alpuente, Universitat Politecnica de Valencia, Spain<br>
Demis Ballis, University of Udine, Italy<br>
Olaf Chitil, University of Kent, UK<br>
Michael Codish, Ben-Gurion University, Israel<br>
Moreno Falaschi, University of Siena, Italy (Program Chair)<br>
Jerome Feret, INRIA and ENS, France<br>
Maurizio Gabbrielli, University of Bologna, Italy<br>
Jurgen Giesl, RWTH Aachen University, Germany<br>
Miguel Gomez-Zamalloa, Complutense University of Madrid, Spain<br>
Arnaud Gotlieb, SIMULA Research Laboratory, Norway<br>
Gopal Gupta, University of Texas at Dallas, USA<br>
Manuel Hermenegildo, IMDEA, Spain<br>
Viktor Kuncak, EPFL Lausanne, Switzerland<br>
Luigi Liquori, INRIA Sophia-Antipolis Mediterranee, France<br>
Alexei Lisitsa, University of Liverpool, UK<br>
Narciso Marti-Oliet, Universidad Complutense de Madrid, Spain<br>
Jorge Navas, NASA, USA<br>
Kazuhiro Ogata, JAIST, Japan<br>
Carlos Olarte, ECT, Univ. Federal do Rio Grande do Norte, Brasil<br>
Catuscia Palamidessi, INRIA and Ecole Polytechnique, France <br>
Maurizio Proietti, IASI-CNR, Italy <br>
Albert Rubio, Universitat Politecnica de Catalunya, Barcelona, Spain<br>
Wim Vanhoof, University of Namur, Belgium <br>
<br>
<br>
Program and Symposium Chair:<br>
<br>
Moreno Falaschi, Dept. of Information Engineering and Mathematics, <br>
Univ. of Siena, Italy <br>
(<a href="mailto:moreno.falaschi@unisi.it">moreno.falaschi@unisi.it</a>)<br>
<br>
<br>
Organizing Committee<br>
<br>
Monica Bianchini, DIISM, Univ. of Siena, Italy<br>
Sara Brunetti, DIISM, Univ. of Siena, Italy<br>
Andrea Machetti, DIISM, Univ. of Siena, Italy<br>
Simonetta Palmas, DIISM, Univ. of Siena, Italy<br>
Maurizio Proietti, IASI-CNR, Italy <br>
Simone Rinaldi, DIISM, Univ. of Siena, Italy<br>
Elisa Tiezzi, DIISM, Univ. of Siena, Italy<br>
Sara Ugolini, Dip. Informatica, Univ. of Pisa
</body>
</html>