Dear Haskellers,

Lenses is Bx and our own Edward Kmett will be giving the keynote! Please 
consider submitting. 

Best regards,
Meng


    Bx 2021 - FINAL CALL FOR PAPERS

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

    9th International Workshop on Bidirectional Transformations (Bx 2021)
    as part of the STAF conference (June 21, 2021) running virtually, 
    Western Norway University of Applied Sciences, Bergen, Norway
    http://bx-community.wikidot.com/bx2021:home

    
**********************************************************************************
    * Important dates:
    * Abstract submission: April 27, 2021
    * Paper Submission: May 4, 2021
    
**********************************************************************************

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

    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.

    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.

    KEYNOTE 
    =========================================

    We are happy to announce our keynote speaker: Edward Kmett.

    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
    * software development with bx
    * 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
    * model-driven and model-based approaches
    * survey and comparison of bx technologies
    * case studies and tool support

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

    Five categories of submissions are considered:

    * Full Research Papers (13-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 (7-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 (7-8 pages)
         - sharing experiences and lessons learned with bx 
tools/frameworks/languages 
         - how bx is used in (research/industrial/educational) projects

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

    * Talk Proposals (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. 
 Tool papers, experience reports and short papers will be mapped to the short 
paper category in CEUR (having between 5-9 standard pages, 1 standard page = 
2500 characters), whereas full research papers will be mapped to the regular 
paper category in CEUR (having at least 10 standard pages).

    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 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.

    Papers must follow the CEUR one column style available at:

    http://ceur-ws.org/Vol-XXX/CEURART.zip

    or

    
https://www.overleaf.com/latex/templates/template-for-submissions-to-ceur-workshop-proceedings-ceur-ws-dot-org/hpvjjzhjxzjk

    and must be submitted via EasyChair:

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

    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, 2021
    Paper submission: May 4, 2021 
    Author notification: May 25, 2021
    Early registration: May 27, 2021
    Workshop: June 21, 2021

    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 bx2...@easychair.org . 
Please find further information w.r.t. the Bx 2021 workshop at:

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

    and STAF 2021 conference at:

    https://staf2021.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, University of Koblenz-Landau, Germany 
    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

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


    _____________________________________
    Leen Lambers
    Senior Researcher at System Analysis and Modeling Group
    https://hpi.de/giese/personen/dr-leen-lambers.html
    _____________________________________
    Hasso-Plattner-Institut für Digital Engineering gGmbH
    Universität Potsdam
    Prof.-Dr.-Helmert-Str. 2-3
    D-14482 Potsdam, Germany
    _____________________________________
    Amtsgericht Potsdam, HRB 12184
    Geschäftsführung: Prof. Dr. Christoph Meinel
    _____________________________________
    _______________________________________________
    Bx mailing list
    b...@inf.ed.ac.uk
    http://lists.inf.ed.ac.uk/mailman/listinfo/bx

_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

Reply via email to