<div dir="ltr">
<div>===================== CALL FOR PARTICIPATION =============================</div><div><br></div><div> 24th International Symposium on</div><div> Logic-Based Program Synthesis and Transformation</div>
<div> LOPSTR 2014</div><div><br></div><div> <a href="http://www.iasi.cnr.it/events/lopstr14/">http://www.iasi.cnr.it/events/lopstr14/</a></div>
<div> University of Kent, Canterbury, UK, September 9-11, 2014</div><div><br></div><div> Co-located with the 16th International ACM SIGPLAN Symposium on </div><div> Principles and Practice of Declarative Programming (PPDP 2014)</div>
<div><br></div><div>==========================================================================</div><div>Early registration by August 8, 2014</div><div> <a href="http://www.cs.kent.ac.uk/events/2014/ppdp-lopstr-14/registration.html">http://www.cs.kent.ac.uk/events/2014/ppdp-lopstr-14/registration.html</a></div>
<div><br></div><div>Invited Speakers:</div><div> Roberto Giacobazzi (University of Verona, Italy)</div><div><span class="" style="white-space:pre"> </span> "Obscuring Code -- Unveiling and Veiling Information in Programs"</div>
<div><span class="" style="white-space:pre"> </span></div><div> Viktor Kuncak (EPFL, Switzerland)</div><div><span class="" style="white-space:pre"> </span> Title to be announced</div><div><br></div><div>Accepted papers</div>
<div><span class="" style="white-space:pre"> </span>- Nikita Danilenko<span class="" style="white-space:pre"> </span></div><div><span class="" style="white-space:pre"> </span>Functional Kleene Closures<span class="" style="white-space:pre"> </span></div>
<div><span class="" style="white-space:pre"> </span>- Amer Tahat and Ali Ebnenasir<span class="" style="white-space:pre"> </span></div><div><span class="" style="white-space:pre"> </span>A Hybrid Method for the Verification and Synthesis of Parameterized Self-Stabilizing Protocols<span class="" style="white-space:pre"> </span></div>
<div><span class="" style="white-space:pre"> </span>- German Vidal<span class="" style="white-space:pre"> </span></div><div><span class="" style="white-space:pre"> </span>Concolic Execution and Test-Case Generation in Prolog<span class="" style="white-space:pre"> </span></div>
<div><span class="" style="white-space:pre"> </span>- Henning Christiansen and Maja Kirkeby<span class="" style="white-space:pre"> </span></div><div><span class="" style="white-space:pre"> </span>Confluence Modulo Equivalence in Constraint Handling Rules<span class="" style="white-space:pre"> </span></div>
<div><span class="" style="white-space:pre"> </span>- Remis Balaniuk</div><div><span class="" style="white-space:pre"> </span>Drill & Join: A method for inductive program synthesis<span class="" style="white-space:pre"> </span></div>
<div><span class="" style="white-space:pre"> </span>- Minoru Kinoshita, Kohei Suenaga and Atsushi Igarashi</div><div><span class="" style="white-space:pre"> </span>Automatic Synthesis of Combiners in the MapReduce Framework - An Approach with Right Inverse</div>
<div><span class="" style="white-space:pre"> </span>- Daniel De Schreye, Vincent Nys and Colin Nicholson<span class="" style="white-space:pre"> </span></div><div><span class="" style="white-space:pre"> </span>Analysing and Compiling Coroutines with Abstract Conjunctive<span style="white-space:pre"> </span>Partial Deduction<span class="" style="white-space:pre"> </span></div>
<div><span class="" style="white-space:pre"> </span>- Daniel Gall and Thom Frühwirth<span class="" style="white-space:pre"> </span></div><div><span class="" style="white-space:pre"> </span>A Formal Semantics for the Cognitive Architecture ACT-R<span class="" style="white-space:pre"> </span></div>
<div><span class="" style="white-space:pre"> </span>- J. Robert M. Cornish, Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard and Peter J. Stuckey<span class="" style="white-space:pre"> </span></div><div><span class="" style="white-space:pre"> </span>Analyzing array manipulating programs by program transformation<span class="" style="white-space:pre"> </span></div>
<div><span class="" style="white-space:pre"> </span>- Nada Sharaf, Slim Abdennadher and Thom Frühwirth<span class="" style="white-space:pre"> </span></div><div><span class="" style="white-space:pre"> </span>A Visualization Tool for Constraint Handling Rules<span class="" style="white-space:pre"> </span></div>
<div><span class="" style="white-space:pre"> </span>- Salvador Lucas, Jose Meseguer and Raúl Gutiérrez<span class="" style="white-space:pre"> </span></div><div><span class="" style="white-space:pre"> </span>Extending the 2D DP Framework for CTRSs<span class="" style="white-space:pre"> </span></div>
<div><span class="" style="white-space:pre"> </span>- Ahmed Nagah, Amira Zaki and Slim Abdennadher<span class="" style="white-space:pre"> </span></div><div><span class="" style="white-space:pre"> </span>Exhaustive Execution of CHR through Source-to-Source Transformation<span class="" style="white-space:pre"> </span></div>
<div><span class="" style="white-space:pre"> </span>- Sandra Alves, Anatoli Degtyarev and Maribel Fernandez<span class="" style="white-space:pre"> </span></div><div><span class="" style="white-space:pre"> </span>Access control and obligations in the category-based metamodel: A rewrite-based semantics</div>
<div><span class="" style="white-space:pre"> </span>- James Lipton, Emilio Jesús Gallego Arias and Julio Mariño<span class="" style="white-space:pre"> </span></div><div><span class="" style="white-space:pre"> </span>A Declarative Compilation of Constraint Logic Programming<span class="" style="white-space:pre"> </span></div>
<div><span class="" style="white-space:pre"> </span>- Jose F. Morales and Manuel V. Hermenegildo<span class="" style="white-space:pre"> </span></div><div><span class="" style="white-space:pre"> </span>Pre-indexed Terms for Prolog<span class="" style="white-space:pre"> </span></div>
<div><span class="" style="white-space:pre"> </span>- Norbert Preining, Kokichi Futatsugi and Kazuhiro Ogata<span class="" style="white-space:pre"> </span></div><div><span class="" style="white-space:pre"> </span>Liveness properties in CafeOBJ - a case study for meta-level specifications<span class="" style="white-space:pre"> </span></div>
<div><span class="" style="white-space:pre"> </span>- Wlodzimierz Drabent<span class="" style="white-space:pre"> </span></div><div><span class="" style="white-space:pre"> </span>On completeness of logic programs<span class="" style="white-space:pre"> </span></div>
<div><span class="" style="white-space:pre"> </span>- Ranjeet Singh and Andy King<span class="" style="white-space:pre"> </span></div><div><span class="" style="white-space:pre"> </span>Partial Evaluation for Java Malware Detection<span class="" style="white-space:pre"> </span></div>
<div><span class="" style="white-space:pre"> </span>- Raul Gutierrez and Salvador Lucas<span class="" style="white-space:pre"> </span></div><div><span class="" style="white-space:pre"> </span>Below Frozen Positions<span class="" style="white-space:pre"> </span></div>
<div><span class="" style="white-space:pre"> </span>- Md Solimul Chowdhury, Jia-Huai You, Wu Chen, Arash Karimi and Fangfang Liu<span class="" style="white-space:pre"> </span></div><div><span class="" style="white-space:pre"> </span>Polynomial Approximation to Well-Founded Semantics for Logic Programs with Generalized Atoms: Case Studies</div>
<div><span class="" style="white-space:pre"> </span></div><div>=============================================================================</div><div><br></div><div>Program Co-Chairs:</div><div> Maurizio Proietti, IASI-CNR, Italy (<a href="mailto:maurizio.proietti@iasi.cnr.it">maurizio.proietti@iasi.cnr.it</a>)</div>
<div> Hirohisa Seki, Nagoya Institute of Technology, Japan (<a href="mailto:seki@nitech.ac.jp">seki@nitech.ac.jp</a>)</div><div><br></div><div>Symposium Co-Chairs:</div><div> Olaf Chitil and Andy King</div><div> School of Computing, University of Kent, UK </div>
<div><span class="" style="white-space:pre"> </span> ({O.Chitil,<a href="mailto:A.M.King%7D@kent.ac.uk">A.M.King}@kent.ac.uk</a>)</div><div><br></div><div>Organizing Committee:</div><div> Emanuele De Angelis, University of Chieti-Pescara and IASI-CNR, Italy </div>
<div> Fabrizio Smith, IASI-CNR, Italy</div></div>