[TYPES/announce] LOPSTR 2020: Extended Deadlines

[Fernandez, Maria Isabel]

======================================================================
                   LOPSTR 2020: Call for Papers
======================================================================

                 30th International Symposium on
         Logic-Based Program Synthesis and Transformation
         https://nms.kcl.ac.uk/maribel.fernandez/LOPSTR2020/

                   ONLINE 7-9 September 2020

======================================================================
Abstract Deadline EXTENDED: 12 June 2020 (AoE)
Paper Deadline EXTENDED:  19 June 2020 (AoE)
======================================================================


The aim of the LOPSTR series is to stimulate and promote international
research and collaboration on  logic-based program development.
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.

This year LOPSTR is part of the Bologna Federated Conference in
Programming languages, together with PPDP, WFLP and Microservices.

TOPICS
Topics of interest cover all aspects of logic-based 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 in
any of these areas are welcome.
Survey papers and papers that describe experience with industrial
applications are also welcome.

Papers  must  describe original  work and cannot exceed 15 pages in
LNCS style, excluding references. Additional pages may be used for
appendices (not intended for publication). Reviewers are not required
to read appendices. Papers should be submitted via Easychair.

IMPORTANT DATES:
Abstract submission: 12 June 2020 (AoE)
Paper/Extended abstract submission: 19 June 2020 (AoE)
Notification: 19 July 2020
Camera-ready (for electronic pre-proceedings): 12 August 2020
Symposium: 7-9 September 2020

BEST PAPER AWARDS
Thanks to Springer's sponsorship, two awards (including a 500EUR prize each)
will be given at LOPSTR 2020,  based on relevance, originality and technical
quality of papers. The PC may split the awards among several papers.

PROCEEDINGS
Post-conference proceedings will be published by Springer in LNCS.
Full papers can be directly  accepted for  publication in the formal
proceedings, or accepted  only for  presentation  at the  symposium
and inclusion in informal proceedings. After the symposium, all authors
of extended abstracts and full papers accepted  only for  presentation
will be invited to revise and/or extend their submissions. Then, after
another round of reviewing, these revised papers may also be published
in the formal proceedings. Authors should consult Springer’s authors’
guidelines and use their proceedings templates, available also in Overleaf,
for the preparation of their papers. Springer encourages authors to
include their ORCIDs in their papers.

INVITED SPEAKER
Philipp Ruemmer (University of Uppsala, Sweden).

PROGRAMME COMMITTEE
Elvira Albert, Complutense University of Madrid, Spain
María Alpuente, Universitat Politècnica de València, 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, Université de Paris, 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, Universitat Politècnica de València, Spain

LOCAL ORGANISATION
Maurizio Gabbrielli, University of Bologna

CONTACT
For more information please contact the Programme Committee Chair:
Maribel.Fernandez at kcl.ac.uk<mailto:Maribel.Fernandez at kcl.ac.uk>






---
Professor Maribel Fernandez
Department of Informatics, King’s College London
Strand Campus, Bush House, 30 Aldwych
London WC2B 4BG
www.nms.kcl.ac.uk/maribel.fernandez<http://www.nms.kcl.ac.uk/maribel.fernandez>







-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20200606/35cc8b46/attachment.html>