LOPSTR 2017

27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017)

(co-located with PPDP 2017)

The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium so that authors can incorporate this feedback in the published papers.

The 27th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2017) will be held at the University of Namur, Namur, Belgium; previous symposia were held in Edinburgh, Siena, Canterbury, Madrid, Leuven, Odense, Hagenberg, Coimbra, Valencia, Lyngby, Venice, London, Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven, Stockholm, Arnhem, Pisa, Louvain-la-Neuve and Manchester (you might have a look at the contents of past LOPSTR symposia at DBLP).

LOPSTR 2017 will be co-located with PPDP 2017 (the ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming).

Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. Both full papers and extended abstracts describing applications in these areas are especially welcome. Contributions are welcome on all aspects of logic-based program development, including, but not limited to:

• synthesis
• transformation
• specialization
• composition
• optimization
• inversion
• specification
• analysis and verification
• testing and certification
• program and model manipulation
• transformational techniques in SE
• applications and tools

Program Committee Members

• Roberto Bagnara University of Parma and BUGSENG, Italy
• Sabine Broda University of Porto, Portugal
• Henning Christiansen Roskilde University, Denmark
• Emanuele De Angelis University of Chieti-Pescara, Italy
• Daniel De Schreye KU Leuven, Belgium
• Maribel Fernandez King's College London, UK
• Laurent Fribourg CNRS, ENS Paris-Saclay, France
• Miguel Gomez-Zamalloa Complutense University of Madrid, Spain
• Arie Gurfinkel University of Waterloo, Canada
• Geoff Hamilton Dublin City University, Ireland
• Gerda Janssens KU Leuven, Belgium
• Bishoksan Kafle University of Melbourne, Australia
• Andy King University of Kent, UK
• Jacopo Mauro University of Oslo, Norway
• Jose F. Morales IMDEA Software Institute, Spain
• Jorge A. Navas SRI International, USA
• Corneliu Popeea CQSE GmbH, Germany
• Francesca Scozzari University of Chieti-Pescara, Italy
• Theresa Swift NOVALINKS, Universidade Nova de Lisboa, Portugal
• Alicia Villanueva Universitat Politecnica de Valencia, Spain

Program Chairs

• Fabio Fioravanti University of Chieti-Pescara, Italy
• John Gallagher Roskilde University, Denmark and IMDEA Software Institute, Spain

Organizing Committee Chair

• Wim Vanhoof University of Namur, Belgium