LOPSTR 2020: 30th International Symposium on Logic-based Program Synthesis and Transformation San Giovanni in Monte Complex Bologna, Italy, September 7-9, 2020 |
Conference website | https://nms.kcl.ac.uk/maribel.fernandez/LOPSTR2020/ |
Submission link | https://easychair.org/conferences/?conf=lopstr2020 |
Abstract registration deadline | June 5, 2020 |
Submission deadline | June 12, 2020 |
The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development in any language paradigm.LOPSTR is 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 30th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2020) will be held in the San Giovanni in Monte Complex, a place of extraordinary beauty in the centre of Bologna, Italy.
Submission Guidelines
Abstract Submission: 5 June 2020 (AoE)
Paper/Extended Abstract Submission: 12 June 2020 (AoE)
Notification: 12 July 2020
All papers must be original and not simultaneously submitted to another journal or conference.
Authors should submit an electronic copy of the paper (written in English) in PDF, formatted in the Lecture Notes in Computer Science style. Each submission must include on its first page the paper title; authors and their affiliations; contact author's email; abstract; and three to four keywords which will be used to assist the PC in selecting appropriate reviewers for the paper.
Submissions must not exceed 15 pages excluding references. Additional pages may be used for appendices (not intended for publication). Since reviewers are not required to read the appendices, papers should be intelligible without them.
List of Topics
Topics of interest cover all aspects of logic-based specification and program development (including in domain-specific languages), all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large, including:
- synthesis; transformation; specialisation; composition; optimisation;
- specification; analysis and verification; testing and certification;
- program and model manipulation; inversion;
- machine learning for program development;
- transformational techniques in SE; applications and tools
Both full papers and extended abstracts describing applications are especially welcome. Survey papers and papers that describe experience with industrial applications are also welcome.
Committees
Programme Committee
- Elvira Albert, Complutense University of Madrid, Spain
- María Alpuente, Polytechnic University of Valencia, Spain
- Mauricio Ayala-Rincón, University of Brasilia, Brazil
- Clara Bertolissi, University Aix-Marseilles, France
- Emanuele De Angelis, CNR Inst. for Systems Analysis and Computer Science, Italy
- Maribel Fernández, King's College London, UK (chair)
- Mario Florido, University of Porto, Portugal
- Maurizio Gabbrielli, University of Bologna, Italy
- Robert Glück, University of Copenhagen, Denmark
- Gopal Gupta, University of Texas at Dallas, US
- Michael Hanus, Kiel University, Germany
- Delia Kesner, University Paris Diderot, France
- Andy King, University of Kent, UK
- Temur Kutsia, RISC J. Kepler University of Linz, Austria
- Giselle Reis, Carnegie Mellon University, Qatar
- Masahito Sakai, Nagoya University, Japan
- René Thiemann, University of Innsbruck, Austria
- Alwen Tiu, The Australian National University, Australia
- Germán Vidal, Polytechnic University of Valencia, Spain
Local Organiser
- Maurizio Gabbrielli, University of Bologna, Italy
Invited Speakers
TBA
Venue
The 30th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2020) will be held in the San Giovanni in Monte Complex, a place of extraordinary beauty in the centre of Bologna, Italy.
Previous symposia were held in Porto, Namur, 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, Manchester and Frankfurt.
LOPSTR 2020 will be co-located with PPDP, WFLP and Microservices.
Contact
All questions about submissions should be emailed to the PC chair:
Maribel.Fernandez@kcl.ac.uk