[TYPES/announce] Call for papers: LOPSTR 2020 - a virtual conference

[Fernandez, Maria Isabel]

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

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

---------------------------------------------------------------------
NEWS:  LOPSTR 2020 will be organised as a virtual meeting.
The reviewing and publication process remain unchanged.
---------------------------------------------------------------------
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.
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.

SUBMISSION:
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 (please contact
the PC chair in case of questions).

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 LNCS style.
Submissions cannot exceed 15 pages excluding references. Additional
pages may be used for appendices (not intended for publication) but
note that reviewers are not required to read appendices.
Papers should be submitted  via  the  Easychair.


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.

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.

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/20200526/c9c341bc/attachment-0001.html>