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