caml-list - the Caml user's mailing list
 help / Atom feed
To: "J.N. Oliveira" <>
Subject: [Caml-list] Formal Methods 2019 - LOPSTR (Second Call for Papers)
Date: Wed, 12 Jun 2019 20:05:06 +0100
Message-ID: <> (raw)

              LOPSTR 2019: Second Call for Papers 

                 29th International Symposium on
         Logic-Based Program Synthesis and Transformation
                           LOPSTR 2019

            Porto, Portugal, October 8-10, 2019
    (co-located with the Symposium on Formal Methods, FM'19 
                  and a part of the FM Week)

The aim of the LOPSTR series is to stimulate and promote international
research and collaboration on logic-based program development. LOPSTR
is open to contributions in logic-based program development in any
language paradigm.  LOPSTR has a reputation for being 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 29th International Symposium on Logic-based Program Synthesis and
Transformation (LOPSTR 2019) will be held at the Porto,
Portugal. Previous symposia were held in 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 2019 will be co-located with the
Symposium on Formal Methods, FM'19 and a part of the FM Week.

Topics of interest cover all aspects of logic-based program
development, all stages of the software life cycle, and issues of both
programming-in-the-small and programming-in-the-large.  This year
LOPSTR extends its traditional topics to include also logic-based
program development based on integration of sub-symbolic and symbolic
models, on machine learning techniques and on differential
semantics. Both full papers and extended abstracts describing
applications in all these areas are especially welcome.  Contributions
are welcome on all aspects of logic-based program development,
including, but not limited to:

* synthesis 
* transformation 
* specialization 
* composition 
* optimization 
* inversion 
* specification 
* analysis and verification 
* testing and certification 
* program and model manipulation 
* machine learning for program development
* integration of sub-symbolic and symbolic models
* differential semantics
* transformational techniques in SE 
* applications and tools 

Survey papers that present some aspects of the above topics from a new
perspective, and application papers that describe experience with
industrial applications are also welcome.

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.  Work that already
appeared in unpublished or informally published workshop proceedings
may be submitted (please contact the PC chair in case of questions).

Important Dates

Abstract submission: June 17, 2019
Paper/Extended abstract submission: June 24, 2019
Notification: July 24, 2018
Camera-ready (for electronic pre-proceedings): August 7, 2019
Symposium: October 8-10, 2019

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
including references but excluding well-marked appendices not intended
for publication.  Reviewers are not  required to read  the appendices,
and thus papers should be  intelligible without them. Papers should be
submitted  via  the  Easychair  submission website  for  LOPSTR  2019.

Best Paper Award and Prize

A best paper award will be granted, which will include a 500 EUR prize
provided by  Springer.  This  award will  be given  to the  best paper
submitted to the conference, based  on the relevance, originality, and
technical quality. The program committee may split the award among two
or more papers, also considering authorship (e.g., student paper).


The formal  post-conference proceedings will be  published by Springer
in the  Lecture Notes in Computer  Science series. 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 in the light of the
feedback  solicited at  the symposium.  Then, after  another round  of
reviewing, these  revised papers may  also be published in  the formal
After the symposium, a selection of the best papers might be invited
for submission to a special issue of a journal. 

Invited Speakers

John Gallagher, Roskilde University, Denmark
Naoki Kobayashi, The University of Tokyo, Japan  (joint with PPDP)
German Vidal, Polytechnic University of Valencia, Spain (joint with

Program Committee

Sabine Broda - University of Porto, Portugal
Manuel Carro - Technical University of Madrid and IMDEA, Spain
Ugo Dal Lago - University of Bologna, Italy
Daniel De Schreye - KU Leuven, Belgium
Santiago Escobar - Polytechnic University of Valencia, Spain
Moreno Falaschi - University of Siena, Italy
Laurent Fribourg - CNRS, France
Arnaud Gotlieb - SIMULA Research Laboratory, Norway
Gopal Gupta - The University of Texas at Dallas, U.S.A
Andy King - University of Kent, U.K.
Herbert Kuchen - University of Muenster, Germany
Jacopo Mauro - University of Southern Denmark, Denmark
Hernan Melgratti - University of Buenos Aires, Argentina
Maria Chiara Meo - University G. D'Annunzio, Chieti Pescara, Italy
Carlos Olarte - Federal University of Rio Grande do Norte, Brazil
Hirohisa Seki - Nagoya Institute of Technology, Japan
Caterina Urban - INRIA, France
Herbert Wiklicky - Imperial College London, U.K. 

Program Chair

Maurizio Gabbrielli -  University of Bologna, Italy

Publicity Chair 

Tong Liu -  University of Bologna, Italy

General Chair of FM 19

José Nuno Oliveira, INESC TEC & University of Minho

                 reply index

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publically to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \ \ \ \

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror

AGPL code for this site: git clone public-inbox