<div dir="ltr"><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;font-size:small">================== SECOND 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>DEADLINES<br>Abstract submission: May 30, 2014<br>
Paper/Extended abstract submission: June 6, 2014<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>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>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>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>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>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>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>Organizing Committee<br><br>Emanuele De Angelis, University of Chieti-Pescara and IASI-CNR, Italy<br>Fabrizio Smith, IASI-CNR, Italy<br><br>============================================================<br></div></div>