From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9823 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: James Cheney Newsgroups: gmane.science.mathematics.categories Subject: Bx 2019 Second Call for Papers (Workshop on Bidirectional Transformations) Date: Mon, 4 Feb 2019 13:13:54 +0000 Message-ID: Reply-To: James Cheney Mime-Version: 1.0 (Mac OS X Mail 8.2 \(2104\)) Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="91176"; mail-complaints-to="usenet@blaine.gmane.org" To: Original-X-From: majordomo@mlist.mta.ca Mon Feb 04 15:16:14 2019 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([198.164.44.56]) by blaine.gmane.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1gqf2j-000NVD-Tr for gsmc-categories@m.gmane.org; Mon, 04 Feb 2019 15:16:14 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:38532) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1gqf1r-0005oD-Rq; Mon, 04 Feb 2019 10:15:19 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1gqf14-0007Sd-Nf for categories-list@mlist.mta.ca; Mon, 04 Feb 2019 10:14:30 -0400 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:9823 Archived-At: Bx 2019: 8th International Workshop on Bidirectional Transformations =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Highlights: - workshop date set on June 4, 2019 - Zachary Ives confirmed as invited speaker - abstract submission Tuesday, Feb 12, AoE - links to CEUR-WS.org style and template files updated * http://bx-community.wikidot.com/bx2019:home * June 4, 2019, Saint Joseph=E2=80=99s University, Philadelphia, PA, USA * as part of Philadelphia Logic Week (PLW) 2019: https://sites.sju.edu/plw/ * Invited speaker: Zachary Ives (University of Pennsylvania) Bidirectional transformations (bx) are a mechanism for maintaining the cons= istency of at least two related sources of information. Such sources can be= relational databases, software models and code, or any other document foll= owing 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 di= fferent fields (namely databases, programming languages, software engineeri= ng, and graph transformation), but with results in one field often getting = limited exposure in the others. Bx 2019 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 di= fferent fields. Bx 2019 will be a part of Philadelphia Logic Week (PLW) 2019, which also in= cludes conference and workshops on logic, provenance, and databases, topics= that we hope will complement Bx and help build engagement with these commu= nities. Important Dates =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D - Abstract submission: Feb 12 (AoE) - Paper submission: Feb 19 (AoE) - Author notification: Apr 8 - Camera-ready: around May 1 - Workshop: Jun 4, 2019 Aims and Topics =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D The aim of the workshop is to bring together researchers and practitioners,= established and new, interested in bx from different perspectives, includi= ng but not limited to: - bidirectional programming languages and frameworks - 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 Submission Guidelines =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Papers must follow the CEUR-WS.org one-column style (with page numbers) ava= ilable at - http://ceur-ws.org/Vol-XXX/samplestyles/onecolpceurws.sty and must be submitted via EasyChair: - https://www.easychair.org/conferences/?conf=3Dbx2019 A sample LaTeX file using the above style (along with an included sample im= age) can be downloaded at - http://ceur-ws.org/Vol-XXX/samplestyles/paper1p.tex - http://ceur-ws.org/Vol-XXX/samplestyles/fig1.eps Five categories of submissions are considered: * Full Research 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 bx technologie= s and approaches case studies * Tool Papers (up to 8 pages) - guideline papers presenting best practices for employing a specific bx ap= proach (with a specific tool) - presentation of new tools or substantial improvements to existing ones - qualitative and/or quantitative comparisons of applying different bx appr= oaches and tools * Experience Report (up to 8 pages) - sharing experiences and lessons learned with bx tools/frameworks/languages - how bx is used in (research/industrial/educational) projects * Extended Abstracts and Short Papers (up to 4 pages) - work in progress - small focused contributions - position papers and research perspectives - critical questions and challenges for bx * Talk Proposals (up to 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 pape= rs of the other categories If your submission is not a Full Research Paper, please include the intende= d submission category in the Title field of EasyChair=E2=80=99s submission = form. 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 pres= ent novel scientific results, but to document artifacts of interest and sha= re bx experience/best practices with the community. Experience papers are e= xpected to report on lessons learnt from applying bx approaches, languages,= tools, and theories to practical application case studies. Extended abstra= cts should primarily provoke interesting discussion at the workshop and wil= l not be held to the same standard of maturity as regular papers; short pap= ers contain focused results, positions or perspectives that can be presente= d in full in just a few pages, and that correspondingly contain fewer resul= ts 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 to= ol papers, to allow for reproducibility with minimal effort, either via a v= irtual machine (e.g., via Share - http://share20.eu) or a dedicated website= with relevant artifacts and tool access. All papers will be peer-reviewed by at least three members of the program c= ommittee. 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 exp= ected to be available to demonstrate their tool at the event. Proceedings and Special Issue =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D The workshop proceedings, including all accepted papers (except talk propos= als), will be published electronically by CEUR-WS.org. A special issue open= to all authors of papers in BX workshops over the past few years is planne= d. Program committee =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D * Co-chairs - James Cheney, University of Edinburgh, UK - Hsiang-Shang =E2=80=98Josh=E2=80=99 Ko, National Institute of Informatics= , Japan * Members - Leopoldo Bertossi, Carleton University, Canada - Ravi Chugh, University of Chicago, US - 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, US - Alfonso Pierantonio, University of L'Aquila, Italy - Perdita Stevens, University of Edinburgh, UK - Daniel Str=C3=BCber, University of Koblenz and Landau, Germany - Manuel Wimmer, Vienna University of Technology, Austria - Nicolas Wu, University of Bristol, UK --=20 The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]