<div dir="ltr"><div>[ Please distribute, apologies for multiple postings. ]</div><div><br></div><div>======================================================================</div><div>                   LOPSTR 2016: 2nd Call for Papers</div><div>======================================================================</div><div><br></div><div>                   26th International Symposium on</div><div>           Logic-Based Program Synthesis and Transformation</div><div>                             LOPSTR 2016</div><div><br></div><div>               <a href="http://cliplab.org/Conferences/LOPSTR16/">http://cliplab.org/Conferences/LOPSTR16/</a></div><div><br></div><div>                  Edinburgh, UK, September 6-8, 2016</div><div>               (co-located with PPDP 2016 and SAS 2016)</div><div>                                   </div><div>======================================================================</div><div>DEADLINES:</div><div>Abstract submission: June 7,  2016</div><div>Paper/Extended abstract submission: June 14, 2016</div><div>======================================================================</div><div>INVITED SPEAKERS:</div><div>Francesco Logozzo (Facebook, USA)        [jointly with PPDP]</div><div>Greg Morrisett (Cornell University, USA) [jointly with PPDP]</div><div>Martin Vechev  (ETH Zurich, Switzerland) [jointly with SAS ]</div><div>======================================================================</div><div><br></div><div><br></div><div>The aim of the LOPSTR series is to stimulate and promote international</div><div>research and collaboration on  logic-based program development. LOPSTR</div><div>is open  to contributions  in logic-based  program development  in any</div><div>language  paradigm.  LOPSTR  has  a reputation  for  being  a  lively,</div><div>friendly forum for presenting and  discussing work in progress. Formal</div><div>proceedings are produced only after  the symposium so that authors can</div><div>incorporate this feedback in the published papers.</div><div><br></div><div>The 26th International Symposium  on Logic-based Program Synthesis and</div><div>Transformation  (LOPSTR  2016)  will  be held  at  the  University  of</div><div>Edinburgh,  Edinburgh,  UK;  previous  symposia were  held  in  Siena,</div><div>Canterbury,  Madrid,  Leuven,  Odense, Hagenberg,  Coimbra,  Valencia,</div><div>Lyngby,  Venice,  London,  Verona, Uppsala,  Madrid,  Paphos,  London,</div><div>Venice, Manchester, Leuven, Stockholm, Arnhem, Pisa, Louvain-la-Neuve,</div><div>and  Manchester.  LOPSTR  2016  will  be  co-located  with  PPDP  2016</div><div>(International  Symposium on  Principles and  Practice of  Declarative</div><div>Programming) and SAS 2016 (Static Analysis Symposium).</div><div><br></div><div>Topics  of   interest  cover   all  aspects  of   logic-based  program</div><div>development, all stages of the software life cycle, and issues of both</div><div>programming-in-the-small   and  programming-in-the-large.   Both  full</div><div>papers and  extended abstracts describing applications  in these areas</div><div>are especially  welcome. Contributions are  welcome on all  aspects of</div><div>logic-based program development, including, but not limited to:</div><div><br></div><div> * synthesis </div><div> * transformation </div><div> * specialization </div><div> * composition </div><div> * optimization </div><div> * inversion </div><div> * specification </div><div> * analysis and verification </div><div> * testing and certification </div><div> * program and model manipulation </div><div> * transformational techniques in SE </div><div> * applications and tools </div><div><br></div><div>Survey papers that present some aspects of the above topics from a new</div><div>perspective,  and application  papers  that  describe experience  with</div><div>industrial applications are also welcome.</div><div><br></div><div>Papers  must  describe original  work,  be  written and  presented  in</div><div>English, and must not substantially overlap with papers that have been</div><div>published  or   that  are  simultaneously  submitted   to  a  journal,</div><div>conference, or  workshop with refereed proceedings.  Work that already</div><div>appeared in  unpublished or informally published  workshop proceedings</div><div>may be submitted (please contact the PC chair in case of questions).</div><div><br></div><div><br></div><div>Important Dates</div><div><br></div><div> Abstract submission:                            June 7, 2016</div><div> Paper/Extended abstract submission:             June 14, 2016</div><div> Notification:                                   August 3, 2016</div><div> Camera-ready (for electronic pre-proceedings):  August 19, 2016</div><div> Symposium:                                      September 6-8, 2016</div><div><br></div><div><br></div><div>Submission Guidelines </div><div><br></div><div>Authors  should submit  an electronic  copy of  the paper  (written in</div><div>English) in  PDF, formatted in  the Lecture Notes in  Computer Science</div><div>style. Each submission must include on its first page the paper title;</div><div>authors and their affiliations;  contact author's email; abstract; and</div><div>three  to  four keywords  which  will  be used  to  assist  the PC  in</div><div>selecting appropriate reviewers  for the paper. Page  numbers (and, if</div><div>possible, line  numbers) should appear  on the manuscript to  help the</div><div>reviewers in writing their report.  Submissions cannot exceed 15 pages</div><div>including references but excluding well-marked appendices not intended</div><div>for publication.  Reviewers are not  required to read  the appendices,</div><div>and thus papers should be  intelligible without them. Papers should be</div><div>submitted  via  the  Easychair  submission website  for  LOPSTR  2016:</div><div><a href="http://www.easychair.org/conferences/?conf=lopstr2016">http://www.easychair.org/conferences/?conf=lopstr2016</a> </div><div>(can be accessed also through the LOPSTR 2016 web site).</div><div><br></div><div><br></div><div>Best Paper Award and Prize</div><div><br></div><div>A best paper award will be granted, which will include a 500 EUR prize</div><div>provided by  Springer.  This  award will  be given  to the  best paper</div><div>submitted to the conference, based  on the relevance, originality, and</div><div>technical quality. The program committee may split the award among two</div><div>or more papers, also considering authorship (e.g., student paper).</div><div><br></div><div><br></div><div>Proceedings </div><div><br></div><div>The formal  post-conference proceedings will be  published by Springer</div><div>in the  Lecture Notes in Computer  Science series. Full papers  can be</div><div>directly  accepted  for  publication  in the  formal  proceedings,  or</div><div>accepted  only for  presentation  at the  symposium  and inclusion  in</div><div>informal  proceedings. After  the symposium,  all authors  of extended</div><div>abstracts  and full  papers  accepted only  for  presentation will  be</div><div>invited to revise and/or extend their  submissions in the light of the</div><div>feedback  solicited at  the symposium.  Then, after  another round  of</div><div>reviewing, these  revised papers may  also be published in  the formal</div><div>proceedings.</div><div><br></div><div>Program Committee</div><div><br></div><div>     Slim Abdennadher, German University of Cairo, Egypt</div><div>     Maria Alpuente, Universitat Politecnica de Valencia, Spain</div><div>     Sergio Antoy, Portland State University, USA</div><div>     Michael Codish, Ben-Gurion University of the Negev, Israel</div><div>     Jerome Feret, CNRS/ENS/INRIA Paris, France.</div><div>     Fabio Fioravanti, University of Chieti - Pescara, Italy.</div><div>     Maurizio Gabbrielli, University of Bologna, Italy</div><div>     Maria Garcia de la Banda, Monash University, Australia</div><div>     Robert Glueck, University of Copenhagen, Denmark.</div><div>     Miguel Gomez-Zamalloa, Complutense University of Madrid, Spain</div><div>     Gopal Gupta, University of Texas at Dallas, USA </div><div>     Patricia Hill, Univ. of Leeds, UK and BUGSENG Srl, Italy </div><div>     Jacob Howe, City University London, UK</div><div>     Viktor Kuncak , EPFL Lausanne, Switzerland</div><div>     Michael Leuschel, University of Duesseldorf, Germany</div><div>     Heiko Mantel TU Darmstadt, Germany</div><div>     Jorge A. Navas, NASA, USA</div><div>     Naoki Nishida, Nagoya University, Japan </div><div>     Catuscia Palamidessi,  INRIA, France</div><div>     C.R. Ramakrishnan, SUNY Stony Brook, USA</div><div>     Vitor Santos Costa, Universidade do Porto, Portugal</div><div>     Hirohisa Seki, Nagoya Institute of Technology, Japan</div><div>     Peter Schneider-Kamp, University of Southern Denmark, Denmark</div><div>    </div><div>Program Chairs</div><div><br></div><div>    Manuel Hermenegildo, IMDEA Software Institute and T.U. Madrid (UPM)</div><div>    Pedro Lopez-Garcia, IMDEA Software Institute and CSIC</div><div><br></div><div>Organizing Committee</div><div><br></div><div>    James Cheney (University of Edinburgh, Local Organizer)</div><div>    Moreno Falaschi (University of Siena, Italy)</div><div><br></div><div>In cooperation with:</div><div><br></div><div>    The European Association for Theoretical Computer Science</div><div>    The European Association for Programming Languages and Systems</div><div>    The Association for Logic Programming</div><div>    The IMDEA Software Institute</div><div><br></div></div>