<div dir="ltr"><div><div><font face="courier new, monospace">[Apologies for multiple copies]</font></div><div><font face="courier new, monospace"><br></font></div><div><font face="courier new, monospace">================FIRST CALL FOR PAPERS======================</font></div>
<div><font face="courier new, monospace"> </font></div><div><font face="courier new, monospace"> 24th International Symposium on</font></div><div><font face="courier new, monospace"> Logic-Based Program Synthesis and Transformation</font></div>
<div><font face="courier new, monospace"> LOPSTR 2014</font></div><div><font face="courier new, monospace"><br></font></div><div><font face="courier new, monospace"> <a href="http://www.iasi.cnr.it/events/lopstr14/">http://www.iasi.cnr.it/events/lopstr14/</a></font></div>
<div><font face="courier new, monospace"> University of Kent, Canterbury, UK, September 10-11, 2014</font></div><div><font face="courier new, monospace"><br></font></div><div><font face="courier new, monospace"><br></font></div>
<div><font face="courier new, monospace">DEADLINES</font></div><div><font face="courier new, monospace">Abstract submission: May 30, 2014</font></div><div><font face="courier new, monospace">Paper/Extended abstract submission: June 6, 2014</font></div>
<div><font face="courier new, monospace"><br></font></div><div><font face="courier new, monospace">===========================================================</font></div><div><font face="courier new, monospace"><br></font></div>
<div><font face="courier new, monospace"><br></font></div><div><font face="courier new, monospace">The aim of the LOPSTR series is to stimulate and promote international</font></div><div><font face="courier new, monospace">research and collaboration on logic-based program development. LOPSTR</font></div>
<div><font face="courier new, monospace">is open to contributions in logic-based program development in any</font></div><div><font face="courier new, monospace">language paradigm. LOPSTR has a reputation for being a lively,</font></div>
<div><font face="courier new, monospace">friendly forum for presenting and discussing work in progress. Formal</font></div><div><font face="courier new, monospace">proceedings are produced only after the symposium so that authors can</font></div>
<div><font face="courier new, monospace">incorporate this feedback in the published papers.</font></div><div><font face="courier new, monospace"><br></font></div><div><font face="courier new, monospace">The 24th International Symposium on Logic-based Program Synthesis and</font></div>
<div><font face="courier new, monospace">Transformation (LOPSTR 2014) will be held at the University of Kent, </font></div><div><font face="courier new, monospace">Canterbury, United Kingdom; previous symposia were held in Madrid, </font></div>
<div><font face="courier new, monospace">Leuven, Odense, Hagenberg, Coimbra, Valencia, Lyngby, Venice, London, </font></div><div><font face="courier new, monospace">Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven, </font></div>
<div><font face="courier new, monospace">Stockholm, Arnhem, Pisa, Louvain-la-Neuve, and Manchester. </font></div><div><font face="courier new, monospace">LOPSTR 2014 will be co-located with PPDP 2014 (International ACM SIGPLAN </font></div>
<div><font face="courier new, monospace">Symposium on Principles and Practice of Declarative Programming).</font></div><div><font face="courier new, monospace"><br></font></div><div><font face="courier new, monospace">Topics of interest cover all aspects of logic-based program</font></div>
<div><font face="courier new, monospace">development, all stages of the software life cycle, and issues of both</font></div><div><font face="courier new, monospace">programming-in-the-small and programming-in-the-large. Both full</font></div>
<div><font face="courier new, monospace">papers and extended abstracts describing applications in these areas</font></div><div><font face="courier new, monospace">are especially welcome. Contributions are welcome on all aspects of</font></div>
<div><font face="courier new, monospace">logic-based program development, including, but not limited to:</font></div><div><font face="courier new, monospace"><br></font></div><div><font face="courier new, monospace"> * synthesis</font></div>
<div><font face="courier new, monospace"> * transformation</font></div><div><font face="courier new, monospace"> * specialization</font></div><div><font face="courier new, monospace"> * composition</font></div><div>
<font face="courier new, monospace"> * optimization</font></div><div><font face="courier new, monospace"> * inversion</font></div><div><font face="courier new, monospace"> * specification</font></div><div><font face="courier new, monospace"> * analysis and verification</font></div>
<div><font face="courier new, monospace"> * testing and certification</font></div><div><font face="courier new, monospace"> * program and model manipulation</font></div><div><font face="courier new, monospace"> * transformational techniques in SE</font></div>
<div><font face="courier new, monospace"> * applications and tools</font></div><div><font face="courier new, monospace"><br></font></div><div><font face="courier new, monospace">Survey papers that present some aspects of the above topics from a new</font></div>
<div><font face="courier new, monospace">perspective, and application papers that describe experience with</font></div><div><font face="courier new, monospace">industrial applications are also welcome.</font></div><div><font face="courier new, monospace"><br>
</font></div><div><font face="courier new, monospace">Papers must describe original work, be written and presented in</font></div><div><font face="courier new, monospace">English, and must not substantially overlap with papers that have been</font></div>
<div><font face="courier new, monospace">published or that are simultaneously submitted to a journal,</font></div><div><font face="courier new, monospace">conference, or workshop with refereed proceedings. Work that already</font></div>
<div><font face="courier new, monospace">appeared in unpublished or informally published workshop proceedings</font></div><div><font face="courier new, monospace">may be submitted (please contact the PC co-chairs in case of questions).</font></div>
<div><font face="courier new, monospace"><br></font></div><div><font face="courier new, monospace"><br></font></div><div><font face="courier new, monospace">Important Dates</font></div><div><font face="courier new, monospace"><br>
</font></div><div><font face="courier new, monospace"> Abstract submission: May 30, 2014</font></div><div><font face="courier new, monospace"> Paper/Extended abstract submission: June 6, 2014</font></div>
<div><font face="courier new, monospace"> Notification: July 18, 2014</font></div><div><font face="courier new, monospace"> Camera-ready (for electronic pre-proceedings): August 25, 2014</font></div>
<div><font face="courier new, monospace"> Symposium: September 10-11, 2014</font></div><div><font face="courier new, monospace"><br></font></div><div><font face="courier new, monospace"><br>
</font></div><div><font face="courier new, monospace">Submission Guidelines</font></div><div><font face="courier new, monospace"><br></font></div><div><font face="courier new, monospace">Authors should submit an electronic copy of the paper (written in English)</font></div>
<div><font face="courier new, monospace">in PDF, formatted in the Lecture Notes in Computer Science style. </font></div><div><font face="courier new, monospace">Each submission must include on its first page the paper title; authors </font></div>
<div><font face="courier new, monospace">and their affiliations; contact author's email; abstract; and three to </font></div><div><font face="courier new, monospace">four keywords which will be used to assist the PC in selecting appropriate </font></div>
<div><font face="courier new, monospace">reviewers for the paper. Page numbers should appear on the manuscript to </font></div><div><font face="courier new, monospace">help the reviewers in writing their report. Submissions cannot exceed 15 </font></div>
<div><font face="courier new, monospace">pages including references but excluding well-marked appendices not intended </font></div><div><font face="courier new, monospace">for publication. Reviewers are not required to read the appendices, and thus </font></div>
<div><font face="courier new, monospace">papers should be intelligible without them.</font></div><div><font face="courier new, monospace">Paper should be submitted via the Easychair submission website for LOPSTR 2014. </font></div>
<div><font face="courier new, monospace">If electronic submission is impossible, please contact the program co-chairs </font></div><div><font face="courier new, monospace">for information on how to submit hard copies. </font></div>
<div><font face="courier new, monospace"><br></font></div><div><font face="courier new, monospace"><br></font></div><div><font face="courier new, monospace">Proceedings</font></div><div><font face="courier new, monospace"><br>
</font></div><div><font face="courier new, monospace">The formal post-conference proceedings will be published by Springer in the </font></div><div><font face="courier new, monospace">Lecture Notes in Computer Science series. Full papers can be directly accepted </font></div>
<div><font face="courier new, monospace">for publication in the formal proceedings, or accepted only for presentation at </font></div><div><font face="courier new, monospace">the symposium and inclusion in informal proceedings. After the symposium, all </font></div>
<div><font face="courier new, monospace">authors of extended abstracts and full papers accepted only for presentation </font></div><div><font face="courier new, monospace">will be invited to revise and/or extend their submissions in the light of the </font></div>
<div><font face="courier new, monospace">feedback solicited at the symposium. Then, after another round of reviewing, </font></div><div><font face="courier new, monospace">these revised papers may also be published in the formal proceedings. </font></div>
<div><font face="courier new, monospace"><br></font></div><div><font face="courier new, monospace"><br></font></div><div><font face="courier new, monospace">Program Committee</font></div><div><font face="courier new, monospace"><br>
</font></div><div><font face="courier new, monospace">Slim Abdennadher German University of Cairo, Egypt</font></div><div><font face="courier new, monospace">Étienne André <span class="" style="white-space:pre"> </span> Université Paris 13, France</font></div>
<div><font face="courier new, monospace">Martin Brain University of Oxford, UK</font></div><div><font face="courier new, monospace">Wei-Ngan Chin <span class="" style="white-space:pre"> </span> National University of Singapore, Singapore</font></div>
<div><font face="courier new, monospace">Marco Comini University of Udine, Italy</font></div><div><font face="courier new, monospace">Wlodzimierz Drabent IPIPAN, Poland and Linköping University, Sweden</font></div>
<div><font face="courier new, monospace">Fabio Fioravanti University of Chieti-Pescara, Italy</font></div><div><font face="courier new, monospace">Jürgen Giesl <span class="" style="white-space:pre"> </span> RWTH Aachen University, Germany</font></div>
<div><font face="courier new, monospace">Miguel Gómez-Zamalloa <span class="" style="white-space:pre"> </span>Complutense University of Madrid, Spain</font></div><div><font face="courier new, monospace">Arnaud Gotlieb <span class="" style="white-space:pre"> </span> SIMULA Research Laboratory, Norway</font></div>
<div><font face="courier new, monospace">Gopal Gupta University of Texas at Dallas, USA</font></div><div><font face="courier new, monospace">Jacob Howe City University London, UK</font></div><div>
<font face="courier new, monospace">Zhenjiang Hu <span class="" style="white-space:pre"> </span> National Institute of Informatics, Japan</font></div><div><font face="courier new, monospace">Alexei Lisitsa <span class="" style="white-space:pre"> </span> University of Liverpool, UK</font></div>
<div><font face="courier new, monospace">Jorge Navas <span class="" style="white-space:pre"> </span> NASA, USA</font></div><div><font face="courier new, monospace">Naoki Nishida <span class="" style="white-space:pre"> </span> Nagoya University, Japan</font></div>
<div><font face="courier new, monospace">Corneliu Popeea Technische Universität München, Germany</font></div><div><font face="courier new, monospace">Maurizio Proietti IASI-CNR, Italy (Program Co-Chair)</font></div>
<div><font face="courier new, monospace">Tom Schrijvers <span class="" style="white-space:pre"> </span> Ghent University, Belgium</font></div><div><font face="courier new, monospace">Hirohisa Seki <span class="" style="white-space:pre"> </span> Nagoya Institute of Technology, Japan (Program Co-Chair)</font></div>
<div><font face="courier new, monospace">Jon Sneyers <span class="" style="white-space:pre"> </span> K.U. Leuven, Belgium</font></div><div><font face="courier new, monospace">Fausto Spoto <span class="" style="white-space:pre"> </span> University of Verona, Italy</font></div>
<div><font face="courier new, monospace">Wim Vanhoof University of Namur, Belgium</font></div><div><font face="courier new, monospace">German Vidal Universitat Politecnica de Valencia, Spain</font></div>
<div><font face="courier new, monospace">Annie-Liu Yanhong Stony Brook University, USA </font></div><div><font face="courier new, monospace"> </font></div><div><font face="courier new, monospace"><br></font></div>
<div><font face="courier new, monospace">Program Co-Chairs:</font></div><div><font face="courier new, monospace"><br></font></div><div><font face="courier new, monospace">Maurizio Proietti, IASI-CNR, Italy (<a href="mailto:maurizio.proietti@iasi.cnr.it">maurizio.proietti@iasi.cnr.it</a>)</font></div>
<div><font face="courier new, monospace">Hirohisa Seki, Nagoya Institute of Technology, Japan (<a href="mailto:seki@nitech.ac.jp">seki@nitech.ac.jp</a>)</font></div><div><font face="courier new, monospace"><br></font></div>
<div><font face="courier new, monospace"><br></font></div><div><font face="courier new, monospace">Symposium Co-Chairs</font></div><div><font face="courier new, monospace"><br></font></div><div><font face="courier new, monospace">Olaf Chitil and Andy King</font></div>
<div><font face="courier new, monospace">School of Computing</font></div><div><font face="courier new, monospace">University of Kent</font></div><div><font face="courier new, monospace">CT2 7NF Kent, UK</font></div><div><font face="courier new, monospace"><br>
</font></div><div><font face="courier new, monospace"><br></font></div><div><font face="courier new, monospace">Organizing Committee</font></div><div><font face="courier new, monospace"><br></font></div><div><font face="courier new, monospace">Emanuele De Angelis</font></div>
<div><font face="courier new, monospace">Fabrizio Smith</font></div></div><div><br></div></div>