<div dir="ltr"><div class="gmail_default" style="font-size:small;display:inline"><span style="font-family:courier new,monospace">​​<br>[apologies for multiple posting]<br><br>==================== EXTENDED DEADLINES ====================<br>
                 <br>Abstract submission:                     June 11, 2014<br>Paper/Extended abstract submission:      June 18, 2014<br><br>===================== CALL FOR PAPERS ======================<br><br>                24th International Symposium on<br>
       Logic-Based Program Synthesis and Transformation<br>                         LOPSTR 2014<br><br>           <a href="http://www.iasi.cnr.it/events/lopstr14/">http://www.iasi.cnr.it/events/lopstr14/</a><br>  University of Kent, Canterbury, UK, September 10-11, 2014<br>
<br><br>============================================================<br>Invited Speakers:<br>     Roberto Giacobazzi (University of Verona, Italy)<br>     Viktor Kuncak (EPFL, Switzerland)<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 24th International Symposium on Logic-based Program Synthesis and<br>Transformation (LOPSTR 2014) will be held at the University of Kent,<br>Canterbury, United Kingdom; previous symposia were held in 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 2014 will be co-located with PPDP 2014 (International ACM SIGPLAN<br>Symposium 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 co-chairs in case of questions).<br><br><br>Important Dates<br><br> Abstract submission:                            June 11, 2014<br> Paper/Extended abstract submission:             June 18, 2014<br>
 Notification:                                   July 18, 2014<br> Camera-ready (for electronic pre-proceedings):  August 25, 2014<br> Symposium:                                      September 10-11, 2014<br><br><br>Submission Guidelines<br>
<br>Authors should submit an electronic copy of the paper (written in English)<br>in PDF, formatted in the Lecture Notes in Computer Science style.<br>Each submission must include on its first page the paper title; authors<br>
and their affiliations; contact author&#39;s email; abstract; and three to<br>four keywords which will be used to assist the PC in selecting appropriate<br>reviewers for the paper. Page numbers should appear on the manuscript to<br>
help the reviewers in writing their report. Submissions cannot exceed 15<br>pages including references but excluding well-marked appendices not intended<br>for publication. Reviewers are not required to read the appendices, and thus<br>
papers should be intelligible without them.<br>Paper should be submitted via the Easychair submission website for LOPSTR 2014.<br>If electronic submission is impossible, please contact the program co-chairs<br>for information on how to submit hard copies.<br>
<br><br>Proceedings<br><br>The formal post-conference proceedings will be published by Springer in the<br>Lecture Notes in Computer Science series. Full papers can be directly accepted<br>for publication in the formal proceedings, or accepted only for presentation at<br>
the symposium and inclusion in informal proceedings. After the symposium, all<br>authors of extended abstracts and full papers accepted only for presentation<br>will be invited to revise and/or extend their submissions in the light of the<br>
feedback solicited at the symposium. Then, after another round of reviewing,<br>these revised papers may also be published in the formal proceedings.<br><br><br>Program Committee<br><br>Slim Abdennadher        German University of Cairo, Egypt<br>
Étienne André           Université Paris 13, France<br>Martin Brain            University of Oxford, UK<br>Wei-Ngan Chin           National University of Singapore, Singapore<br>Marco Comini            University of Udine, Italy<br>
Wlodzimierz Drabent     IPIPAN, Poland and Linköping University, Sweden<br>Fabio Fioravanti        University of Chieti-Pescara, Italy<br>Jürgen Giesl            RWTH Aachen University, Germany<br>Miguel Gómez-Zamalloa   Complutense University of Madrid, Spain<br>
Arnaud Gotlieb          SIMULA Research Laboratory, Norway<br>Gopal Gupta             University of Texas at Dallas, USA<br>Jacob Howe              City University London, UK<br>Zhenjiang Hu            National Institute of Informatics, Japan<br>
Alexei Lisitsa          University of Liverpool, UK<br>Yanhong Annie Liu       Stony Brook University, USA<br>Jorge Navas             NASA, USA<br>Naoki Nishida           Nagoya University, Japan<br>Corneliu Popeea         Technische Universität München, Germany<br>
Maurizio Proietti       IASI-CNR, Italy (Program Co-Chair)<br>Tom Schrijvers          Ghent University, Belgium<br>Hirohisa Seki           Nagoya Institute of Technology, Japan (Program Co-Chair)<br>Jon Sneyers             K.U. Leuven, Belgium<br>
Fausto Spoto            University of Verona, Italy<br>Wim Vanhoof             University of Namur, Belgium<br>German Vidal            Universitat Politecnica de Valencia, Spain<br>    <br><br>Program Co-Chairs:<br><br>Maurizio Proietti, IASI-CNR, Italy (<a href="mailto:maurizio.proietti@iasi.cnr.it">maurizio.proietti@iasi.cnr.it</a>)<br>
Hirohisa Seki, Nagoya Institute of Technology, Japan (<a href="mailto:seki@nitech.ac.jp">seki@nitech.ac.jp</a>)<br><br><br>Symposium Co-Chairs<br><br>Olaf Chitil and Andy King<br>School of Computing<br>University of Kent<br>
CT2 7NF Kent, UK<br><br><br>Organizing Committee<br><br>Emanuele De Angelis, University of Chieti-Pescara and IASI-CNR, Italy<br>Fabrizio Smith, IASI-CNR, Italy​</span></div><span style="font-family:courier new,monospace"><br>
</span></div>