<html xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:DengXian;
panose-1:2 1 6 0 3 1 1 1 1 1;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
{font-family:"\@DengXian";
panose-1:2 1 6 0 3 1 1 1 1 1;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
font-size:12.0pt;
font-family:"Calibri",sans-serif;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Calibri",sans-serif;
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:12.0pt;
font-family:"Calibri",sans-serif;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:72.0pt 72.0pt 72.0pt 72.0pt;}
div.WordSection1
{page:WordSection1;}
--></style>
</head>
<body lang="EN-GB" link="#0563C1" vlink="#954F72" style="word-wrap:break-word">
<div class="WordSection1">
<p class="MsoNormal"><span style="font-size:11.0pt">To Haskellers, <o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Bidirectional Transformations (Bx) are also known as lenses! Please consider submitting your Haskell-related papers which are very welcome.
<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Best regards,<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Meng<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;color:black">Meng Wang, PhD (Oxon)<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;color:black">University of Bristol<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;color:black">Senior Lecturer of Programming Languages<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;color:black">Head of PL research group<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;color:black">International Director of SCEEM (CS, EEE, EMath) School<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">**********************************************************************************<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">9th International Workshop on Bidirectional Transformations (Bx 2021)<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">as part of the STAF conference (June 21, 2021) running virtually,
<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Western Norway University of Applied Sciences, Bergen, Norway<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">http://bx-community.wikidot.com/bx2021:home<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> <o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">**********************************************************************************<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">* Important dates:<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">* Abstract submission: April 27, 2021<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">* Paper Submission: May 4, 2021<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">**********************************************************************************<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">OVERVIEW<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">=========================================<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Bidirectional transformations (bx) are a mechanism for maintaining the consistency between two or more related (and heterogeneous) sources of information (i.e., relational databases, software models and code,
or any other artefacts following standard or domain-specific formats). The strongest argument in favour of bx is its ability to provide a synchronization mechanism that is guaranteed to be correct by construction.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Bx has been attracting a wide range of research areas and communities, with prominent presence at top conferences in several different fields (namely databases, programming languages, software engineering,
and graph transformation). Nowadays, the fast-growing complexity of software- or data- intensive systems has forced the industry and the academy to use and investigate different development techniques to manage the many different aspects of the systems. Researchers
are actively investigating the use of bidirectional approaches to tackle a diverse set of challenges with various applications including model-driven software development, visualization with direct manipulation, big data, databases, domain-specific languages,
serializers, and data transformation, integration and exchange. Bx 2021 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.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">TOPICS<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">=========================================<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">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:<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">* bidirectional programming languages and frameworks<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">* software development with bx<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">* data and model synchronization<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">* view updating<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">* inter-model consistency analysis and repair<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">* data/schema (or model/metamodel) co-evolution<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">* coupled software/model transformations<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">* inversion of transformations and data exchange mappings<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">* domain-specific languages for bx<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">* analysis and classification of requirements for bx<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">* bridging the gap between formal concepts and application scenarios<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">* analysis of efficiency of transformation algorithms and benchmarks<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">* model-driven and model-based approaches<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">* survey and comparison of bx technologies<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">* case studies and tool support<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">CATEGORIES OF SUBMISSIONS<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">=========================================<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Five categories of submissions are considered:<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">* Full Research Papers (13-15 pages)<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> - in-depth presentations of novel concepts and results<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> - applications of bx to new domains<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> - survey papers providing novel comparisons between existing bx technologies and approaches, case studies
<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">* Tool Papers (7-8 pages)<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> - guideline papers presenting best practices for employing a specific bx approach (with a specific tool)
<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> - presentation of new tools or substantial improvements to existing ones
<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> - qualitative and/or quantitative comparisons of applying different bx approaches and tools
<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">* Experience Report (7-8 pages)<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> - sharing experiences and lessons learned with bx tools/frameworks/languages
<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> - how bx is used in (research/industrial/educational) projects<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">* Short Papers (5 pages)<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> - work in progress<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> - small focused contributions<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> - position papers and research perspectives<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> - critical questions and challenges for bx<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">* Talk Proposals (2 pages)<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> - proposed lectures about topics of interest for bx<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> - existing work representing relevant contributions for bx<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> - promising contributions that are not mature enough to be proposed as papers of the other categories
<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">If your submission is not a Full Research Paper, please include the intended submission category in the Title field of EasyChair’s submission form. Tool papers, experience reports and short papers will be
mapped to the short paper category in CEUR (5-9 standard pages, 1 standard page = 2500 characters), whereas full research papers will be mapped to the regular paper category in CEUR (min. 10 standard pages).<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">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.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">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.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">All submissions will be peer-reviewed by at least three members of the program committee.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">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. <o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">PROCEEDINGS<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">=========================================<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">The workshop proceedings (in a STAF 2021 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.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Papers must follow the CEUR one column style available at:<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">http://ceur-ws.org/Vol-XXX/CEURART.zip<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">or<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">https://www.overleaf.com/latex/templates/template-for-submissions-to-ceur-workshop-proceedings-ceur-ws-dot-org/hpvjjzhjxzjk<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">and must be submitted via EasyChair:<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">https://easychair.org/conferences/?conf=bx2021<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">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.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Submissions not complying with the above guidelines may be excluded from the reviewing process without further notice.
<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">IMPORTANT DATES <o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">=========================================<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Abstract submission: April 27, 2021<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Paper submission: May 4, 2021
<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Author notification: May 25, 2021<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Early registration: May 27, 2021<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Workshop: June 21, 2021<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">PROGRAM CO-CHAIRS<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">=========================================<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">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
bx2021@easychair.org . Please find further information w.r.t. the Bx 2021 workshop at:<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">http://bx-community.wikidot.com/bx2021:home<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">and STAF 2021 conference at:<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">https://staf2021.hvl.no/<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">PROGRAM COMMITTEE<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">=========================================<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Ravi Chugh, University of Chicago, USA<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Anthony Cleve, University of Namur, Belgium<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Alcino Cunha, University of Minho, Portugal<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Romina Eramo, University of L'Aquila, Italy<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Michael Johnson, Macquarie University, Australia<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Hsiang Shang Ko, Academia Sinica, Taiwan
<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Ralf Lämmel, University of Koblenz-Landau, Germany
<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Kazutaka Matsuda, Tohoku University, Japan<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Fernando Orejas, Universitat Politècnica de Catalunya, Spain<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Roly Perera, Alan Turing Institute, UK<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Perdita Stevens, The University of Edinburgh, UK<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Tarmo Uustalu, Reykjavik University, Iceland<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Jens Weber, University of Victoria, Canada<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Bernhard Westfechtel, University of Bayreuth, Germany<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">=========================================<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><o:p> </o:p></p>
</div>
</body>
</html>