• Aucun résultat trouvé

Preface

N/A
N/A
Info
Télécharger
Protected

Academic year: 2022

Partager "Preface"

Copied!
2
0
0

Chargement.... (Voir le texte intégral maintenant)

Texte intégral

(1)

Preface

This volume is the proceedings of the8th International Workshop on Bidirectional Transformations (Bx 2019).

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 including databases, programming languages, software engineering, and graph transformation, but with results in one field often getting limited exposure in the others. The Bx workshop series 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:

• Bx 2012: Tallinn, Estonia, co-located with ETAPS

• Bx 2013: Rome, Italy, co-located with ETAPS

• Bx 2014: Athens, Greece, co-located with EDBT/ICDT

• Bx 2015: L’Aquila, Italy, co-located with STAF

• Bx 2016: Eindhoven, The Netherlands, co-located with ETAPS

• Bx 2017: Uppsala, Sweden, co-located with ETAPS

• Bx 2018: Nice, France, co-located with ‹Programming›

In 2019, Bx will be co-located with the Philadelphia Logic Week (PLW) in Philadelphia, PA, USA. The call for papers attracted 14 submissions, from which the program committee, after a careful reviewing and discussion process, selected for presentation at the workshop 7 papers (3 regular, 1 tool, and 3 short) and 4 talks:

• Full Papers

– Mark Tullsen: ASN.1 Encoding Schemes Done Right Using CMPCT – Brendan Fong and Michael Johnson: Lenses and Learners

– Michael Johnson and Robert Rosebrugh: Multicategories of Multiary Lenses

• Tool Paper

– Nils Weidmann, Anthony Anjorin, Lars Fritsche, Gergely Varró, Andy Schürr, and Erhan Leblebici:

Incremental Bidirectional Model Transformation with eMoflon::IBeX

• Short Papers

– Mikaël Mayer and Ravi Chugh: A Bidirectional Krivine Evaluator

– Anthony Anjorin, Enes Yigitbas, and Hermann Kaindl: Consistent Runtime Adaptation of User Interfaces

– Michael Johnson and François Renaud: Symmetric c-Lenses and Symmetric d-Lenses are Not Coextensive

• Talks

– Zinovy Diskin: A Toolbox of Lenses: Dimensions of the Lens Design Space

– Anders Miltner, Solomon Maina, Kathleen Fisher, Benjamin Pierce, David Walker, and Steve Zdancewic: Expanding the Power of Lens Synthesis

– Jacques Carette and Amr Sabry: Optics and Type Equivalences

– Zinovy Diskin: Reified Correspondences: A New Component of the Multiary Delta Lenses Framework In addition to these presentations, we are pleased to welcome Zachary Ives (University of Pennsylvania), who will give an invited talk onViews, Update Propagation, and Provenance.

We would like to thank the program 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 2019 a success.

James Cheney and Hsiang-Shang Ko Bx 2019 PC Co-Chairs

(2)

Program Committee

Co-Chairs

James Cheney University of Edinburgh, UK

Hsiang-Shang Ko National Institute of Informatics, Japan Members

Leopoldo Bertossi Carleton University, Canada Ravi Chugh University of Chicago, USA Zinovy Diskin McMaster University, Canada Paolo Guagliardo University of Edinburgh, UK Jules Hedges University of Oxford, UK Michael Johnson Macquarie University, Australia

Leen Lambers Hasso Plattner Institute, University of Potsdam, Germany Kazutaka Matsuda Tohoku University, Japan

Anders Miltner Princeton University, USA Alfonso Pierantonio University of L’Aquila, Italy Perdita Stevens University of Edinburgh, UK

Daniel Strüber Chalmers University of Technology and University of Gothenburg, Sweden Manuel Wimmer Johannes Kepler University Linz, Austria

Nicolas Wu University of Bristol, UK

External Reviewers

Robert Bill TU Wien, Austria

Juri Di Rocco University of L’Aquila, Italy

Steering Committee

Anthony Anjorin (chair) Paderborn University, Germany James Cheney University of Edinburgh, UK Romina Eramo University of L’Aquila, Italy Jeremy Gibbons University of Oxford, UK Michael Johnson Macquarie University, Australia

Hsiang-Shang Ko National Institute of Informatics, Japan Kazutaka Matsuda Tohoku University, Japan

Jens Weber University of Victoria, Canada

Références

Télécharger maintenant ( PDF - 2 Page - 217.27 KB )

Documents relatifs

university of

The purpose of this study. 1s to determine whether principals, department chairper-sons and teachers feel the supervisory functions, genezoally associated with the.

of UNIVERSITY

They are involved in monotone dynamical systems, uniform persistence and coexistence states, basic reproduction ratios for compartmental epidemic models in periodic

Michael Sweet, University of Derby, United Kingdom

This is the first described characterization of the bacterial associates for Paragorgia arborea, a widely distributed cold- water alcyonacean coral that was collected from

UNIVERSITY OF

The main objective of this thesis is to enhance the reliability of decisions made using results obtained from quantitative analytical methods during different steps of their

Preface

Anthony Anjorin, University of Paderborn, Germany Alcino Cunha, University of Minho, Portugal Romina Eramo, University of Paderborn, Germany Jeremy Gibbons, University of

Preface

Anthony Anjorin University of Paderborn Romina Eramo University of L’Aquila Jeremy Gibbons University of Oxford Martin Gogolla University of Bremen. Ulrike Golas Konrad-Zuse-Zentrum

University of Cambridge

Heleen Plaisier of Leiden University, the Netherlands, offers an introduction to the literature and orthography of Lepcha, a Tibeto-Burman language spoken in Sikkim

Cathy Cantwell and Rob Mayer, University of Oxford

myths have succeeded in: (i) introducing into the heart of an ostensibly Indic (Nālandā) tantric system an important set of goddesses from nearby Nepal, a place close