Program
09h00 - 09h10 Welcome
Session 1: Benchmarks and Tools (Chair: Perdita Stevens)
09h10 - 09h40 Anthony Anjorin, Zinovy Diskin, Frédéric Jouault, Hsiang-Shang Ko, Erhan Leblebici and Bernhard Westfechtel:
BenchmarX Reloaded: A Practical Benchmark Framework for Bidirectional Transformations
09h40 - 10h00 Stephan Seifermann and Jörg Henß:
Comparison of QVT-O and Henshin-TGG for Synchronization of Concrete Syntax Models
10h00 - 11h00 Coffee
Session 2: Addressing Updates Propagation (Chair: Jeremy Gibbons)
11h00 - 11h30 Michael Johnson and Robert Rosebrugh:
Universal updates for symmetric lenses
11h30 - 12h00 Danel Ahman and Tarmo Uustalu:
Taking updates seriously
12h00 - 12h30 Zinovy Diskin:
Compositionality of update propagation: Lax PutPut
12h30 - 14h00 Lunch
Session 3: Principles and Methods (Chair: Zinovy Diskin)
14h00 - 14h30 Perdita Stevens and Jeremy Gibbons:
On ontologology
14h30 - 15h00 Milica Stojkovic, Sven Laux and Anthony Anjorin:
Existing and New Ideas on Least Change Triple Graph Grammars
15h00 - 15h30 Daisuke Kinoshita and Keisuke Nakano :
Bidirectional Certified Programming
15h30 - 16h00 Coffee
Session 4: Talk Proposals (Chair: Anthony Anjorin)
16h00 - 16h20 Jeremy Gibbons:
Profunctor Optics: Modular Data Accessors
16h20 - 16h40 Perdita Stevens:
Bx in the Large
Panel Discussion
16h40 - 17h30 Panel Discussion and Wrap Up
Unless otherwise stated, the content of this page is licensed under GNU Free Documentation License.