[Haskell] Last CFP Bx'15: 4th International Workshop on Bidirectional Transformations

[Alcino Cunha]

                          LAST CALL FOR PAPERS

Fourth International Workshop on Bidirectional Transformations (Bx 2015)

                           L'Aquila, Italy
                 (co-located with STAF, July 24, 2015)

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

 
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 2015 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 rotated
between venues in different fields. In 2015, Bx is co-located with
STAF for the first time.  

IMPORTANT DATES

Abstract submission: 24 April 2015
Paper submission: 8 May 2015
Author notification: 5 June 2015
Camera-ready version: 19 June 2015
Workshop date: 24 July 2015
 
AIM AND TOPICS

The aim of the workshop is to bring together researchers and
practitioners, established and new, interested in Bx from different
perspectives, such as:

* 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

PAPER CATEGORIES

Submissions to Bx 2015 can be:

* Regular 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 technologies
   - case studies
* Short papers (up to 8 pages)
   - work in progress
   - small focused contributions
   - position papers and research perspectives
* Tool papers (up to 8 pages)
   - presentation of new tools or substantial improvements to existing ones
* Benchmark papers (up to 8 pages)
   - new benchmark proposals, focusing on assessing aspects of Bx not
     covered by the examples currently available at the Bx example repository

SUBMISSION GUIDELINES

Submitted papers must follow the CEUR one column style available at
http://ceur-ws.org/Vol-XXX/samplestyles/. Tool papers must refer to a
web page describing how to download and install the presented
tool. Papers describing tools that have already been published
elsewhere are expected to contain substantial and clearly identified
extensions to the tool. Benchmark papers should follow the template of
the Bx example repository (http://bx-community.wikidot.com/examples:home), 
and clearly justify the relevance of the new benchmark as a means to
assess Bx tools and techniques (in particular, submissions of
cross-disciplinary benchmarks are encouraged). Moreover, they must
refer to a web page providing supporting artifacts
(metamodels/schemas, model/data instances for interesting test cases,
executable consistency checkers, etc).

Papers must be submitted via the EasyChair system:

https://www.easychair.org/conferences/?conf=bx2015

Submissions not complying with the above guidelines or page limits may
be excluded from the reviewing process without further notice. If a
paper is accepted, one author of the paper is expected to participate
in the workshop to present it. Authors of accepted tool papers are
also expected to be available to demonstrate their tool at the event.

PROCEEDINGS AND SPECIAL ISSUE

The workshop proceedings, including all accepted papers, will be
published electronically by CEUR (http://ceur-ws.org). Authors of
accepted papers (of all categories) that have high-quality and the
potential to be extended into journal articles will be invited to
submit a revised and extended version of their paper to a special
issue of the Journal of Object Technology (http://www.jot.fm); these
papers will then be subject to a careful reviewing and selection
process according to the scientific standards of the Journal of Object
Technology.  

PROGRAM CO-CHAIRS

* Alcino Cunha, University of Minho, Portugal
* Ekkart Kindler, Technical University of Denmark, Denmark

PROGRAM COMMITTEE MEMBERS

* Anthony Anjorin, Technical University of Darmstadt, Germany
* Anthony Cleve, University of Namur, Belgium
* Romina Eramo, University of L'Aquila, Italy
* Jeremy Gibbons, University of Oxford, UK
* Holger Giese, Hasso Plattner Institute, Germany
* Soichiro Hidaka, NII, Japan
* Michael Johnson, Macquarie University, Australia
* Peter McBrien, Imperial College, UK
* Hugo Pacheco, Cornell University, USA
* Jorge PÈrez, Universidad de Chile, Chile
* Arend Rensink, Twente University, Netherlands
* Perdita Stevens, University of Edinburgh, UK
* James Terwilliger, Microsoft, USA
* Meng Wang, Chalmers University of Technology, Sweden
* Jens Weber, University of Victoria, Canada
* Yingfei Xiong, Peking University, China