LOPSTR 2020 - First CFP

From: Michael Hanus <mh_at_informatik.uni-kiel.de>
Date: Tue, 31 Mar 2020 10:03:51 +0200

======================================================================
                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

-- 
You are receiving this message because you are a member of the
mailinglist 'glp-list_at_informatik.uni-kiel.de'.
To unsubscribe from (leave) this mailinglist, please go to this URL:
  https://lists.informatik.uni-kiel.de/mailman/listinfo/glp-list
Received on Di Mär 31 2020 - 10:12:34 CEST

This archive was generated by hypermail 2.3.0 : Sa Aug 15 2020 - 07:16:02 CEST