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