CfP: Bx 2019: 8th International Workshop on Bidirectional Transformations (Deadline: Feb. 19)
CALL FOR PAPERS (Deadline: Feb. 19)
Bx 2019: 8th International Workshop on Bidirectional Transformations (Bx 2019)
Philadelphia, PA, USA | http://bx-community.wikidot.com/bx2019:home
exact date TBD (some day during 3-7 June 2019)
part of Philadelphia Logic Week (PLW) 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 (namely databases, programming languages, software engineering, 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 different fields.
Important Dates
- Abstract submission: 12 Feb 2019 (AoE)
- Paper submission: 19 Feb 2019 (AoE)
- Author notification: 8 Apr 2019
- Camera-ready version: around 1 May 2019
- Workshop: some day during 3-7 June 2019
Aims and 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
- 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
Papers must follow the CEUR one-column style available at http://ceur-ws.org/Vol-XXX/samplestyles/