<div dir="ltr">============================================================<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>EXTENDED DEADLINES<br>Abstract submission: April 26,  2015<br>Paper/Extended abstract submission: May 2, 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 26, 2015<br> Paper/Extended abstract submission:             May 2, 2015<br> Notification:                                   June 2, 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 (Jointly with PPDP)<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<pre style="word-wrap:break-word;white-space:pre-wrap"></pre></div>