=Paper=
{{Paper
|id=Vol-1827/preface
|storemode=property
|title=None
|pdfUrl=https://ceur-ws.org/Vol-1827/preface.pdf
|volume=Vol-1827
}}
==None==
<pdf width="1500px">https://ceur-ws.org/Vol-1827/preface.pdf</pdf>
<pre>
Preface
This volume is the proceedings of the 6th International Workshop on Bidirectional Transformations (BX 2017).
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 2017 was organized as a dedicated venue for BX in
all relevant fields, as 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. In
2017, BX will be co-located with ETAPS in Uppsala, Sweden; it was previously held at the following locations:

1. BX 2012: Tallinn, Estonia, co-located with ETAPS
2. BX 2013: Rome, Italy, co-located with ETAPS
3. BX 2014: Athens, Greece, co-located with EDBT/ICDT
4. BX 2015: L'Aquila, Italy, co-located with STAF
5. BX 2016: Eindhoven, The Netherlands, co-located with ETAPS

The call for papers attracted 10 complete submissions plus 2 talk proposals, from which the programme committee, after a
careful reviewing and discussion process, selected for presentation at the workshop 9 papers (5 regular, 1 tool and 2 short)
and 2 talk proposals:

     •    Milica Stojkovic, Sven Laux and Anthony Anjorin. Existing and New Ideas on Least Change Triple Graph
          Grammars
     •    Stephan Seifermann and Jörg Henß. Comparison of QVT-O and Henshin-TGG for Synchronization of Concrete
          Syntax Models
     •    Anthony Anjorin, Zinovy Diskin, Frédéric Jouault, Hsiang-Shang Ko, Erhan Leblebici and Bernhard Westfechtel.
          BenchmarX Reloaded: A Practical Benchmark Framework for Bidirectional Transformations
     •    Daisuke Kinoshita and Keisuke Nakano. Bidirectional Certified Programming
     •    Michael Johnson and Robert Rosebrugh. Universal Updates for Symmetric Lenses
     •    Perdita Stevens and Jeremy Gibbons. On Ontologology
     •    Danel Ahman and Tarmo Uustalu. Taking Updates Seriously
     •    Zinovy Diskin. Compositionality of Update Propagation: Lax PutPut

     •    Jeremy Gibbons. Profunctor Optics: Modular Data Accessors (Talk Proposal)
     •    Perdita Stevens. Bx in the Large (Talk Proposal)

In addition to these presentations, the programme of BX 2017 will include a panel for discussion. We hope that this
discussion will lead to interesting submissions to next year’s BX workshop, which will take place at a venue yet to be
arranged.

We would like to thank the Programme Committee and the external reviewers for their detailed reviews and careful
consideration, and for the overall efficiency that enabled the tight schedule for reviewing. We would also like to thank all the
authors and participants for helping us make BX 2017 a success.

April 2017




                                                                                          Romina Eramo and Michael Johnson
Programme Committee

Co-chairs

    Romina Eramo, University of L'Aquila, Italy
    Michael Johnson, Macquarie University, Australia

Members

    Anthony Anjorin, University of Paderborn, Germany
    Soichiro Hidaka, Hosei University, Japan
    Max E. Kramer, Karlsruhe Institute of Technology, Germany
    James McKinna, University of Edinburgh, UK
    Hugo Pacheco, University of Minho, Portugal
    Alfonso Pierantonio, University of L'Aquila, Italy
    Andy Schürr, Technical University of Darmstadt, Germany
    Daniel Strüber, Universität Koblenz-Landau, Germany
    James Terwilliger, Microsoft, USA
    Meng Wang, University of Kent, UK
    Bernhard Westfechtel, Universität Bayreuth, Germany
    Manuel Wimmer, Vienna University of Technology, Austria




BX Steering Committee

    Anthony Anjorin, University of Paderborn, Germany
    Alcino Cunha, University of Minho, Portugal
    Romina Eramo, University of Paderborn, Germany
    Jeremy Gibbons, University of Oxford, UK
    Soichiro Hidaka, National Institute of Informatics, Japan
    Michael Johnson, University of Paderborn, Germany
    Ekkart Kindler, Technical University of Denmark, Denmark
    Perdita Stevens, University of Edinburgh, UK
    James Terwilliger, Microsoft, USA

</pre>