[Haskell] Call for Papers - First International Workshop on Bidirectional Transformations

Janis Voigtländer jv at informatik.uni-bonn.de
Sat Oct 29 20:00:23 CEST 2011

                        CALL FOR PAPERS

                First International Workshop on
            Bidirectional Transformations (BX 2012)

                        Tallinn, Estonia
                      Sun, March 25, 2012

                  (co-located with ETAPS 2012,
                 adjacent to FASE, ESOP, GT-VMT)



* Juan de Lara (Autonomous University of Madrid, Spain)
* Jean-Luc Hainaut (University of Namur, Belgium)


* Paper submission:    Mon, December 19, 2011
* Author notification: Tue, January 24, 2012
* Camera-ready papers: Sun, February 5, 2012

To facilitate smooth organization of the review process, authors are
asked to submit a short abstract by December 12, 2011.


* Regular submissions (max. 15 pages, formal proceedings)
* Short papers        (max. 8 pages, informal proceedings)
* Lightning talks     (extended abstract)

Submissions can be in LNCS or EC-EASST style.

More details can be found on the webpage.


There will be formal proceedings containing all accepted regular papers,
published as a volume of EC-EASST (Electronic Communications of the
European Association of Software Science and Technology,
http://journal.ub.tu-berlin.de/eceasst). Short papers will be included
in informal proceedings distributed at the workshop, and their authors
may be invited to extend their contribution to a full paper for
inclusion in the formal proceedings.


Bidirectional transformations (bx) are a mechanism for maintaining the
consistency of two (or perhaps more) related sources of information.
Such sources can be databases, software models, documents, or their
abstract models like graphs or trees. 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.

The aim of the workshop is to bring together researchers, from all
relevant areas, 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 2012 include, but are not limited to:

* (coupled) software/model transformations
* software-model synchronization
* data-schema co-evolution and data synchronization
* consistency analysis
* language-based approaches
* analysis/classification of requirements for bx technologies
* case studies and tool support
* comparison of bx technologies
* efficiency of algorithms and benchmarks

Regular submissions (11-15 pages) 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

For details about short papers and lightning talks, please consult the


* Frank Hermann (Technical University of Berlin, Germany;
                  University of Luxembourg, Luxembourg)
* Janis Voigtländer (University of Bonn, Germany)


* Paolo Atzeni (Roma Tre University, Italy)
* Benjamin Braatz (University of Luxembourg, Luxembourg)
* Anthony Cleve (University of Namur, Belgium)
* Alcino Cunha (University of Minho, Portugal)
* Carlo Curino (Massachusetts Institute of Technology, USA)
* Davide Di Ruscio (University of L'Aquila, Italy)
* Zinovy Diskin (University of Waterloo, Canada)
* Ulrike Golas (Zuse Institute Berlin, Germany)
* Ekkart Kindler (Technical University of Denmark, Denmark)
* Kazutaka Matsuda (Tohoku University, Japan)
* Fernando Orejas (Technical University of Catalonia, Spain)
* Benjamin Pierce (University of Pennsylvania, USA)
* Andy Schürr (Technical University of Darmstadt, Germany)
* Perdita Stevens (University of Edinburgh, UK)
* James Terwilliger (Microsoft, USA)
* Antonio Vallecillo (University of Málaga, Spain)
* Yingfei Xiong (University of Waterloo, Canada)

More information about the Haskell mailing list