<div dir="ltr"><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;font-size:small">===================== 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>DEADLINES<br>Abstract submission:                     May 30, 2014<br>Paper/Extended abstract submission:      June 6, 2014<br><br>============================================================<br>NEW! 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:                            May 30, 2014<br> Paper/Extended abstract submission:             June 6, 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<br></div></div>