[Haskell] LOPSTR 2020 - First CFP

[Michael Hanus]

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

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

                 Bologna, 7-9 September 2020
Abstract Deadline: 5 June 2020    Paper Deadline:  12 June 2020

SCOPE
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 2020 will be co-located 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
all these areas are especially welcome.
Survey papers and papers that describe experience with industrial
applications are also welcome.


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


Submission Guidelines ---------------------
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. Page  numbers (and, if
possible, line  numbers) should appear  on the manuscript to  help the
reviewers in writing their report.  Submissions cannot exceed 15 pages
excluding references. Additional pages may be used for appendices (not
intended for publication). Reviewers are not required to read appendices,
and thus papers should be  intelligible without them. Papers should be
submitted  via  the  Easychair  submission website  for  LOPSTR  2020.


PROCEEDINGS Post-conference proceedings will be published by Springer in the
LNCS series, as in previous editions.
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.

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.

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 PC Chair:
Maribel.Fernandez at kcl.ac.uk