[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
CALL FOR PAPERS Second International Workshop on Bidirectional Transformations (BX 2013) http://bx-community.wikidot.com/bx2013:home Sunday March 17th, 2013 Rome, Italy colocated with ETAPS 2013 Bidirectional transformations (bx) are a mechanism for maintaining the consistency of at least two related sources of information. Such sources can be databases, software models, documents, graphs, and trees. BX are an emerging topic in a wide range of research areas with prominent presence at top conferences in different fields. Following the success of BX'12, BX'13 is a dedicated venue for bx in all relevant areas. The methodologies used for bx range from classical program transformation to graph transformation techniques, from ad-hoc techniques for data synchronization to the development of domain-specific languages and their integration. We also solicit papers on model/metamodel co-evolution, which is a different yet closely related subject. Aims and Topics The aim of the workshop is to bring together researchers, established and new, interested in bidirectional transformations from different perspectives, such as: language-based approaches, software/model transformations, and data/schema co-evolution. Topics of interest for BX'13 include, but are not limited to: * software-model synchronization * data-schema co-evolution and data synchronization * consistency analysis * (coupled) software/model transformations * language-based approaches * analysis/classification of requirements for bx technologies * case studies and tool support * efficiency of algorithms and benchmarks * comparison of bx technologies Submissions can be: * research papers providing new concepts and results * position papers and research perspectives * papers that apply bx in new domains * papers closing gaps between formal concepts and application scenarios Submitted papers must be 6-15 pages in length, otherwise they will be rejected without review. Preliminary proceedings, including all the papers selected for the workshop, will be available electronically at the workshop. Post-proceedings of the workshop will appear as a volume of EC-EASST. Workshop papers that were shorter than 11 pages will require extension and a second round of reviewing, if their authors wish them to appear in the post-proceedings. We specifically welcome short papers that may be extended to full papers, perhaps with extra authors, following discussion at the workshop. Perdita Stevens (University of Edinburgh, UK) James Terwilliger (Microsoft, USA) Paper submission: 18 December 2012 Notification: 22 January 2013 Camera ready: 3 February 2013 Dates: Sunday March 17th, 2013 Website: http://bx-community.wikidot.com/bx2013:home