<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>&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; 25th International Symposium on</div><div>&nbsp; &nbsp; &nbsp; &nbsp;Logic-Based Program Synthesis and Transformation</div><div>&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;LOPSTR 2015</div><div><br></div><div>&nbsp; &nbsp; &nbsp; &nbsp; &nbsp;Special Issue of Formal Aspects of Computing</div><div><br></div><div>&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;&nbsp;<a href="http://alpha.diism.unisi.it/lopstr15/">http://alpha.diism.unisi.it/lopstr15/</a></div><div><br></div><div>&nbsp; &nbsp; &nbsp; &nbsp; University of Siena, Siena, IT, July 13-15, 2015</div><div>&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; (co-located with PPDP 2015)</div><div><br></div><div><br></div><div>DEADLINES</div><div>Abstract submission: April 6, &nbsp;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.&nbsp; LOPSTR</div><div>is &nbsp;open to &nbsp;contributions in logic-based &nbsp;program development in &nbsp;any</div><div>language &nbsp;paradigm. &nbsp; LOPSTR &nbsp;has a &nbsp;reputation for &nbsp;being &nbsp;a &nbsp;lively,</div><div>friendly forum for presenting and discussing work in progress.&nbsp; Formal</div><div>proceedings are produced only after the symposium so that authors &nbsp;can</div><div>incorporate this feedback in the published papers.</div><div><br></div><div>The 25th International Symposium on Logic-based Program Synthesis &nbsp;and</div><div>Transformation (LOPSTR 2015) will be held at the University of &nbsp;Siena,&nbsp;</div><div>Siena, &nbsp;Italy; &nbsp; previous symposia were held in &nbsp;Canterbury, &nbsp; Madrid,&nbsp;</div><div>Leuven, Odense, Hagenberg, Coimbra, Valencia, Lyngby, Venice, &nbsp;London,&nbsp;</div><div>Verona, Uppsala, Madrid, Paphos, London, Venice, &nbsp;Manchester, &nbsp;Leuven,&nbsp;</div><div>Stockholm, Arnhem, Pisa, Louvain-la-Neuve, and Manchester.&nbsp;</div><div>LOPSTR 2015 will be co-located with PPDP 2015 (International Symposium&nbsp;</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>&nbsp; &nbsp; * synthesis</div><div>&nbsp; &nbsp; * transformation</div><div>&nbsp; &nbsp; * specialization</div><div>&nbsp; &nbsp; * composition</div><div>&nbsp; &nbsp; * optimization</div><div>&nbsp; &nbsp; * inversion</div><div>&nbsp; &nbsp; * specification</div><div>&nbsp; &nbsp; * analysis and verification</div><div>&nbsp; &nbsp; * testing and certification</div><div>&nbsp; &nbsp; * program and model manipulation</div><div>&nbsp; &nbsp; * transformational techniques in SE</div><div>&nbsp; &nbsp; * 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>&nbsp;Abstract submission: &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; April 6, 2015</div><div>&nbsp;Paper/Extended abstract submission: &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; April 13, 2015</div><div>&nbsp;Notification: &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; May 25, 2015</div><div>&nbsp;Camera-ready (for electronic pre-proceedings): &nbsp;June 15, 2015</div><div>&nbsp;Symposium: &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; 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&nbsp;</div><div>English) in PDF, formatted in the Lecture Notes in Computer Science&nbsp;</div><div>style. Each submission must include on its first page &nbsp;the paper&nbsp;</div><div>title; authors and their &nbsp;affiliations; &nbsp;contact author's &nbsp;email;&nbsp;</div><div>abstract; and three to four keywords which will be used to assist&nbsp;</div><div>the PC in selecting appropriate reviewers for the paper. Page numbers&nbsp;</div><div>should appear on the manuscript to help the reviewers in writing&nbsp;</div><div>their report. Submissions cannot exceed 15 pages including references&nbsp;</div><div>but excluding well-marked appendices not intended for publication.&nbsp;</div><div>Reviewers are not required to read the appendices, and thus papers&nbsp;</div><div>should be intelligible without them.&nbsp;</div><div>Papers should be submitted via the Easychair submission website for&nbsp;</div><div>LOPSTR 2015, which can be accessed through the website of LOPSTR 2015.&nbsp;</div><div><br></div><div><br></div><div>Proceedings</div><div><br></div><div>The formal post-conference proceedings will be published by Springer&nbsp;</div><div>in the Lecture Notes in Computer Science series.&nbsp;</div><div>Full papers can be directly accepted for publication in the formal&nbsp;</div><div>proceedings, or accepted only for presentation at the symposium and&nbsp;</div><div>inclusion in informal proceedings. After the symposium, all authors&nbsp;</div><div>of extended abstracts and full papers accepted only for presentation&nbsp;</div><div>will be invited to revise and/or extend their submissions in the light&nbsp;</div><div>of the feedback solicited at the symposium. Then, after another round&nbsp;</div><div>of reviewing, these revised papers may also be published in the formal&nbsp;</div><div>proceedings.&nbsp;</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 &nbsp;special &nbsp;issue of &nbsp;the &nbsp;'Formal Aspects of Computing' &nbsp;journal. The&nbsp;</div><div>submissions to the special issue must be substantial extensions of the&nbsp;</div><div>proceedings versions and will &nbsp;undergo the usual journal reviewing&nbsp;</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>&nbsp; Slim Abdennadher, &nbsp;German University of Cairo, Egypt</div><div>&nbsp; Maria Alpuente, &nbsp;Universitat Politecnica de Valencia, Spain</div><div>&nbsp; Demis Ballis, &nbsp;University of Udine, Italy</div><div>&nbsp; Olaf Chitil, &nbsp;University of Kent, UK</div><div>&nbsp; Michael Codish, &nbsp;Ben-Gurion University, Israel</div><div>&nbsp; Moreno Falaschi, &nbsp;University of Siena, Italy (Program Chair)</div><div>&nbsp; Jerome Feret, &nbsp;INRIA and ENS, France</div><div>&nbsp; Maurizio Gabbrielli, &nbsp;University of Bologna, Italy</div><div>&nbsp; Jurgen Giesl, &nbsp;RWTH Aachen University, Germany</div><div>&nbsp; Miguel Gomez-Zamalloa, &nbsp;Complutense University of Madrid, Spain</div><div>&nbsp; Arnaud Gotlieb, &nbsp;SIMULA Research Laboratory, Norway</div><div>&nbsp; Gopal Gupta, &nbsp;University of Texas at Dallas, USA</div><div>&nbsp; Manuel Hermenegildo, &nbsp;IMDEA, Spain</div><div>&nbsp; Viktor Kuncak, &nbsp;EPFL Lausanne, Switzerland</div><div>&nbsp; Luigi Liquori, &nbsp;INRIA Sophia-Antipolis Mediterranee, France</div><div>&nbsp; Alexei Lisitsa, &nbsp;University of Liverpool, UK</div><div>&nbsp; Narciso Marti-Oliet, &nbsp;Universidad Complutense de Madrid, Spain</div><div>&nbsp; Jorge Navas, &nbsp;NASA, USA</div><div>&nbsp; Kazuhiro Ogata, &nbsp;JAIST, Japan</div><div>&nbsp; Carlos Olarte, ECT, Univ. Federal do Rio Grande do Norte, Brasil</div><div>&nbsp; Catuscia Palamidessi, &nbsp;INRIA and Ecole Polytechnique, France&nbsp;</div><div>&nbsp; Maurizio Proietti, &nbsp;IASI-CNR, Italy&nbsp;</div><div>&nbsp; Albert Rubio, Universitat Politecnica de Catalunya, Barcelona, Spain</div><div>&nbsp; Wim Vanhoof, &nbsp;University of Namur, Belgium&nbsp;</div><div>&nbsp; &nbsp; &nbsp;</div><div><br></div><div>Program and Symposium Chair:</div><div><br></div><div>Moreno Falaschi, Dept. of Information Engineering and Mathematics,&nbsp;</div><div>Univ. of Siena, Italy&nbsp;</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, &nbsp;IASI-CNR, Italy&nbsp;</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>