LOPSTR 2016
26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016)
(co-located with PPDP 2016 and SAS 2016)
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 26th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2016) will be held at the University of Edinburgh, Edinburgh, UK; previous symposia were held in 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. LOPSTR 2016 will be co-located with PPDP 2016 (International Symposium on Principles and Practice of Declarative Programming) and SAS 2016 (Static Analysis Symposium).
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
Survey papers that present some aspects of the above topics from a new perspective, and application papers that describe experience with industrial applications are also welcome.
Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions).
Program Committee
- Slim Abdennadher, German University of Cairo, Egypt
- Maria Alpuente, Universitat Politecnica de Valencia, Spain
- Sergio Antoy, Portland State University, USA
- Michael Codish, Ben-Gurion University of the Negev, Israel
- Jerome Feret, CNRS/ENS/INRIA Paris, France.
- Fabio Fioravanti, University of Chieti - Pescara, Italy.
- Maurizio Gabbrielli, University of Bologna, Italy
- Maria Garcia de la Banda, Monash University, Australia
- Robert Glueck, University of Copenhagen, Denmark.
- Miguel Gomez-Zamalloa, Complutense University of Madrid, Spain
- Gopal Gupta, University of Texas at Dallas, USA
- Patricia Hill, Univ. of Leeds, UK
- Jacob Howe, City University London, UK
- Viktor Kuncak , EPFL Lausanne, Switzerland
- Michael Leuschel, University of Duesseldorf, Germany
- Heiko Mantel TU Darmstadt, Germany
- Jorge A. Navas, NASA, USA
- Naoki Nishida, Nagoya University, Japan
- Catuscia Palamidessi, INRIA Saclay and LIX, France
- C.R. Ramakrishnan, SUNY Stony Brook, USA
- Vitor Santos Costa, Universidade do Porto, Portugal
- Hirohisa Seki, Nagoya Institute of Technology, Japan
- Peter Schneider-Kamp, University of Southern Denmark, Denmark
Program Chairs
- Manuel Hermenegildo, IMDEA Software Institute and T.U. Madrid (UPM)
- Pedro Lopez-Garcia, IMDEA Software Institute and CSIC
Organizing Committee
- James Cheney (University of Edinburgh, Local Organizer)
- Moreno Falaschi (University of Siena, Italy)