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