[logic-ml] Bx 2020 - FIRST CALL FOR PAPERS

[Kazutaka Matsuda]

皆様，
東北大学の松田です．

今年の6月にSTAF (https://staf2020.hvl.no/)に併設して開催される，
双方向変換に関する国際ワークショップ Bx 2020 の論文募集の案内をお送りいたします．

どうぞ投稿をご検討いただけますと幸いです．
今年は論文にLNCSスタイルを用いることになっておりますのでご注意ください．

松田 一孝（東北大学）

----------------------------------
Bx 2020 - FIRST CALL FOR PAPERS

***********************************************************************

9th International Workshop on Bidirectional Transformations (Bx 2020)
June 22, 2020 (to be confirmed)
as part of the STAF conference,
Western Norway University of Applied Sciences, Bergen, Norway
http://bx-community.wikidot.com/bx2020:home

***********************************************************************
* Abstract submission: April 27, 2020
* Paper Submission (strict): May 4, 2020


OVERVIEW
=========================================

Bidirectional transformations (bx) are a mechanism for maintaining the
consistency of at least two related sources of information. Such
sources can be relational databases, software models and code, or any
other document following standard or ad-hoc formats. Bx are an
emerging topic in a wide range of research areas, with prominent
presence at top conferences in several different fields (namely
databases, programming languages, software engineering, and graph
transformation), but with results in one field often getting limited
exposure in the others. Bx 2020 is a dedicated venue for bx in all
relevant fields, and is part of a workshop series that was created in
order to promote cross-disciplinary research and awareness in the
area. As such, since its beginning in 2012, the workshop has rotated
between venues in different fields.

TOPICS
=========================================

The aim of the workshop is to bring together researchers and
practitioners, established and new, interested in bx from different
perspectives, including but not limited to:

* bidirectional programming languages and frameworks
* data and model synchronization
* view updating
* inter-model consistency analysis and repair
* data/schema (or model/metamodel) co-evolution
* coupled software/model transformations
* inversion of transformations and data exchange mappings
* domain-specific languages for bx
* analysis and classification of requirements for bx
* bridging the gap between formal concepts and application scenarios
* analysis of efficiency of transformation algorithms and benchmarks
* survey and comparison of bx technologies
* case studies and tool support

CATEGORIES OF SUBMISSIONS
=========================================

Five categories of submissions are considered:

* Full Research Papers (up to 15 pages)
     - in-depth presentations of novel concepts and results
     - applications of bx to new domains
     - survey papers providing novel comparisons between existing bx
       technologies and approaches, case studies

* Tool Papers (up to 8 pages)
     - guideline papers presenting best practices for employing a
       specific bx approach (with a specific tool)
     - presentation of new tools or substantial improvements to
       existing ones
     - qualitative and/or quantitative comparisons of applying
       different bx approaches and tools

* Experience Report (up to 8 pages)
     - sharing experiences and lessons learned with bx
       tools/frameworks/languages
     - how bx is used in (research/industrial/educational) projects

* Extended Abstracts and Short Papers (up to 5 pages)
     - work in progress
     - small focused contributions
     - position papers and research perspectives
     - critical questions and challenges for bx

* Talk Proposals (up to 2 pages)
     - proposed lectures about topics of interest for bx
     - existing work representing relevant contributions for bx
     - promising contributions that are not mature enough to be
       proposed as papers of the other categories

If your submission is not a Full Research Paper, please include the
intended submission category in the Title field of EasyChair’s
submission form.

The bibliography is excluded from the page limits. All papers are
expected to be self-contained and well-written. Tool papers are not
expected to present novel scientific results, but to document
artifacts of interest and share bx experience/best practices with the
community. Experience papers are expected to report on lessons learnt
from applying bx approaches, languages, tools, and theories to
practical application case studies. Extended abstracts should
primarily provoke interesting discussion at the workshop and will not
be held to the same standard of maturity as regular papers; short
papers contain focused results, positions or perspectives that can be
presented in full in just a few pages, and that correspondingly
contain fewer results and that therefore might not be competitive in
the full paper category. Talk proposals are expected to present work
that is of particular interest to the community and worth a talk slot
at the workshop.

We strongly encourage authors to ensure that any (variants of)
examples are present in the bx example repository at the time of
submission, and, for tool papers, to allow for reproducibility with
minimal effort, either via a virtual machine (e.g., via Share) or a
dedicated website with relevant artifacts and tool access.

All submissions will be peer-reviewed by at least three members of the
program committee.

If a submission is accepted, at least one author is expected to
participate in the workshop to present it. Authors of accepted tool
paper submissions are also expected to be available to demonstrate
their tool at the event.

PROCEEDINGS
=========================================

The workshop proceedings (in a STAF 2020 joint volume for workshops),
including all accepted papers (except talk proposals), shall be
submitted after the conference to CEUR-WS.org for online publication.
Pre-prints of all papers will be available via the workshop website at
the beginning of the conference.

Papers must follow the LNCS style available at:

http://www.springer.com/lncs

and must be submitted via EasyChair:

https://easychair.org/conferences/?conf=bx2020

Please also ensure that your submission is legible when printed on a
black and white printer. In particular, please check that colors
remain distinct and font sizes are legible.

Submissions not complying with the above guidelines may be excluded
from the reviewing process without further notice.

IMPORTANT DATES
=========================================

Abstract submission: April 27, 2020
Paper submission: May 4, 2020 (strict)
Author notification: May 25, 2020
Pre-workshop camera ready: June 8, 2020
Workshop: June 22, 2020 (to be confirmed)

PROGRAM CO-CHAIRS
=========================================

The workshop is co-organized by Meng Wang (University of Bristol, UK)
and Leen Lambers (Hasso Plattner Institute at the University of
Potsdam, Germany). In case of questions, please contact the PC chairs
at bx2020 at easychair.org . Please find further information w.r.t. the
Bx 2020 workshop at:

http://bx-community.wikidot.com/bx2020:home

and STAF 2020 conference at:

https://staf2020.hvl.no/


PROGRAM COMMITTEE
=========================================

Ravi Chugh, University of Chicago, USA
Anthony Cleve, University of Namur, Belgium
Alcino Cunha, University of Minho, Portugal
Romina Eramo, University of L'Aquila, Italy
Michael Johnson, Macquarie University, Australia
Hsiang Shang Ko, Academia Sinica, Taiwan
Ralf Lämmel, Facebook, UK
Kazutaka Matsuda, Tohoku University, Japan
Fernando Orejas, Universitat Politècnica de Catalunya, Spain
Roly Perera, Alan Turing Institute, UK
Perdita Stevens, The University of Edinburgh, UK
Tarmo Uustalu, Reykjavik University, Iceland
Jens Weber, University of Victoria, Canada
Bernhard Westfechtel, University of Bayreuth, Germany

=========================================