<div dir="ltr"><div>============================================================</div><div><br></div><div>LAST CALL FOR PARTICIPATION:</div><div><br></div><div>LOPSTR 2016 </div><div>26th International Symposium on </div><div>Logic-Based Program Synthesis and Transformation,</div><div>Edinburgh, Scotland UK, September 6-8, 2016</div><div><a href="http://www.cliplab.org/Conferences/LOPSTR16/">http://www.cliplab.org/Conferences/LOPSTR16/</a></div><div><br></div><div>co-located with</div><div><br></div><div>PPDP 2016</div><div>18th International Symposium on</div><div>Principles and Practice of Declarative Programming,</div><div>Edinburgh, Scotland UK, September 5-7, 2016</div><div><a href="http://ppdp16.webs.upv.es/">http://ppdp16.webs.upv.es/</a></div><div><br></div><div>and</div><div><br></div><div>SAS 2016</div><div>23rd Static Analysis Symposium,</div><div>Edinburgh, Scotland UK, September 8-10, 2016</div><div><a href="http://staticanalysis.org/sas2016/">http://staticanalysis.org/sas2016/</a></div><div><br></div><div>============================================================</div><div><br></div><div>Registration is open at:</div><div><a href="http://conferences.inf.ed.ac.uk/ppdp-lopstr-sas-2016/">http://conferences.inf.ed.ac.uk/ppdp-lopstr-sas-2016/</a></div><div><br></div><div>  ** EARLY REGISTRATION UNTIL AUGUST 15 **</div><div><br></div><div>VISA</div><div><br></div><div>Please check here: <a href="https://www.gov.uk/check-uk-visa">https://www.gov.uk/check-uk-visa</a> whether you</div><div>require a visa to visit the UK. If so, contact us as soon as possible</div><div>as explained here:</div><div><a href="http://conferences.inf.ed.ac.uk/ppdp-lopstr-sas-2016/registration.html">http://conferences.inf.ed.ac.uk/ppdp-lopstr-sas-2016/registration.html</a></div><div>Getting a visa can take from 3-6 weeks depending on the nationality</div><div>and country from which applying.</div><div><br></div><div>We recommend that anyone considering attending who needs a visa</div><div>register now and apply now.  If you are eventually unable to attend</div><div>due to visa issues we will refund your registration fee.</div><div><br></div><div>INVITED TALKS</div><div><br></div><div>- Greg Morrisett, Cornell University, USA (jointly with PPDP'16): </div><div>  Challenges in Compiling Coq.</div><div><br></div><div>- Francesco Logozzo, Facebook, USA (jointly with PPDP'16):</div><div>  Abstract interpretation for taint analysis at scale.</div><div><span class="" style="white-space:pre">   </span></div><div>- Martin Vechev, ETH Zurich, Switzerland (jointly with SAS'16): </div><div>  Learning from Programs: Probabilistic Models, Program Analysis and Synthesis. </div><div><br></div><div>ACCEPTED PAPERS</div><div><br></div><div>- Symbolic Abstract Contract Synthesis in a Rewriting Framework. </div><div>  María Alpuente, Daniel Pardo and Alicia Villanueva.  </div><div><br></div><div>- Coinductive Soundness of Corecursive Type Class Resolution.</div><div>  Frantisek Farka, Ekaterina Komendantskaya, Kevin Hammond and Peng Fu.</div><div><br></div><div>- MiniZinc with Strings. </div><div>  Roberto Amadini, Pierre Flener, Justin Pearson, Joseph D. Scott, Peter</div><div>  J. Stuckey and Guido Tack.</div><div><br></div><div>- On the Completeness of Selective Unification in Concolic Testing of</div><div>  Logic Programs.</div><div>  Fred Mesnard, Etienne Payet and German Vidal.</div><div><br></div><div>- Verification of Time-Aware Business Processes using Constrained Horn Clauses. </div><div>  Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto</div><div>  Pettorossi and Maurizio Proietti.</div><div><br></div><div>- Tuning Fuzzy Logic Programs with Symbolic Execution. </div><div>  Gines Moreno, Jaime Penabad and German Vidal.</div><div><br></div><div>- A Hiking Trip Through the Orders of Magnitude: Deriving Efficient</div><div>  Generators for Closed Simply-Typed Lambda Terms and Normal Forms. </div><div>  Paul Tarau.</div><div><br></div><div>- A New Functional-Logic Compiler for Curry: Sprite. </div><div>  Sergio Antoy and Andy Jost.</div><div><br></div><div>- Towards Reversible Computation in Erlang. </div><div>  Naoki Nishida, Adrian Palacios and German Vidal.</div><div><br></div><div>- Slicing Concurrent Constraint Programs. </div><div>  Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte and Catuscia</div><div>  Palamidessi.</div><div><br></div><div>- Scaling Bounded Model Checking By Transforming Programs With Arrays. </div><div>  Anushri Jana, Uday Khedker, Advaita Datar, R Venkatesh and Niyas C.</div><div><br></div><div>- Hierarchical Shape Abstraction of Free-List Memory Allocators. </div><div>  Bin Fang and Mihaela Sighireanu.</div><div><br></div><div>- A Productivity Checker for Logic Programming. </div><div>  Ekaterina Komendantskaya, Patricia Johann and Martin Möhrmann.</div><div><br></div><div>- Automata Theory Approach to Predicate Intuitionistic Logic. </div><div>  Maciej Zielenkiewicz and Aleksy Schubert.</div><div><br></div><div>- Nominal Unification of Higher Order Expressions with Recursive Let. </div><div>  Manfred Schmidt-Schauss, Temur Kutsia, Jordi Levy and Mateu Villaret.</div><div><br></div><div>- A Formal, Resource Consumption-Preserving Translation of Actors to Haskell. </div><div>  Elvira Albert, Nikolaos Bezirgiannis, Frank De Boer and Enrique Martin-Martin.</div><div><br></div><div>- Partial Evaluation of Order-sorted Equational Programs modulo Axioms. </div><div>  María Alpuente, Angel Cuenca, Santiago Escobar and Jose Meseguer.</div><div><br></div><div>- lpopt: A Rule Optimization Tool for Answer Set Programming. </div><div>  Manuel Bichler, Michael Morak and Stefan Woltran.</div><div><br></div><div>- CurryCheck: Checking Properties of Curry Programs. </div><div>  Michael Hanus.</div><div><br></div><div>- Intuitionistic Logic Programming for SQL.</div><div>  Fernando Saenz-Perez.</div><div><br></div><div>Hope to see you in Edinburgh!</div><div><br></div><div>Manuel Hermengildo and </div><div>Pedro Lopez-Garcia</div><div>LOPSTR 2016 Co-chairs   </div><div><br></div></div>