[TYPES/announce] BX'13 Call for Papers

Nate Foster jnfoster at cs.cornell.edu
Wed Nov 7 09:52:50 EST 2012

                           CALL FOR PAPERS

Second International Workshop on Bidirectional Transformations (BX 2013)

                        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

More information about the Types-announce mailing list