[TYPES/announce] BX2014: Call for participation

[Soichiro Hidaka]

Third International Workshop on Bidirectional Transformations (BX 2014)
Friday March 28th, 2014
Athens, Greece
co-located with EDBT/ICDT 2014

Workshop information: http://bx-community.wikidot.com/bx2014:home
Online Proceedings: http://ceur-ws.org/Vol-1133/#bx

Online registration is open until March 20th at
http://www.edbticdt2014.gr/index.php/registration
On-site registration is also available during the conference 
(at a higher rate).

-----

Bidirectional transformations (bx) are a mechanism for maintaining the
consistency of at least two related sources of information. Such
sources can be relational data, software models, documents, graphs,
trees, and so on. BX are an emerging topic in a wide range of research
areas with prominent presence at top conferences in different
fields. However, much of the research in bx tends to get limited
exposure outside of a single field of study.  The purpose of this
workshop series is not only to further research into bx, but to
promote cross-disciplinary research and awareness in the area.


****************
Workshop program
****************

08:45-09:00 Opening Remarks: James Terwilliger

09:00-10:40 Session 1: Types, Transformations, and Benchmark
------------------------------------------------------------
09:00-09:15
Implementing a Bidirectional Model Transformation Language as an Internal DSL in Scala
Arif Wider

09:15-09:30
Towards a framework for multi-directional model transformations
Nuno Macedo, Alcino Cunha, Hugo Pacheco

09:30-09:45
Formalizing Semantic Bidirectionalization with Dependent Types
Helmut Grohne, Andres Löh, and Janis Voigtländer

09:45-10:00 Group discussion

10:00-10:15 	
BenchmarX
Anthony Anjorin, Manuel Alcino Cunha, Holger Giese, Frank Hermann, Arend Rensink, and Andy Schürr

10:15-10:30
Towards a Repository of Bx Examples 
James Cheney, Jeremy Gibbons, James McKinna, and Perdita Stevens

10:30-10:40 Group discussion
10:40-11:00 Coffee Break

11:00-12:30 	Session 2: Databases, Monads, and Lenses
--------------------------------------------------------
11:00-11:15
Intersection Schemas as a Dataspace Integration Technique
Richard Brownlow and Alex Poulovassilis

11:15-11:30
Bidirectional Transformations in Database Evolution: A Case Study "At Scale"
Mathieu Beine, Nicolas Hames, Jens Weber, and Anthony Cleve

11:30-11:40 Group discussion

11:40-11:55
Entangled State Monads
Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, and Perdita Stevens

11:55-12:10
Spans of Lenses
Michael Johnson and Robert Rosebrugh

12:10-12:30 Group discussion and closing