Program

The abstracts of invited talks and accepted contributions are available here and here.

Where provided by the speakers (of non-whiteboard-only talks), slides are linked off below.

Session 1: 9:00 - 10:30

• Jean-Luc Hainaut. Invited talk: Bidirectional Transformations in Database Engineering.
• Jeremy Gibbons and Michael Johnson. Relating Algebraic and Coalgebraic Descriptions of Lenses.

Coffee break

Session 2: 11:00 - 12:30

• Hugo Pacheco, Alcino Cunha and Zhenjiang Hu. Delta Lenses over Inductive Types.
• Vadim Zaytsev. Language Evolution, Metasyntactically.
• Michael Johnson and Robert Rosebrugh. Lens put-put laws: Monotonic and mixed.

Lunch

Session 3: 14:00 - 15:30

• Juan de Lara. Invited talk: Bidirectional Transformations with Graphical Constraints.
• Anthony Anjorin, Gergely Varro and Andy Schürr. Complex Attribute Manipulation in TGGs with Constraint-Based Programming Techniques.

Coffee break

Session 4: 16:00 - 17:30

• Leen Lambers, Stephan Hildebrandt, Holger Giese and Fernando Orejas. Attribute Handling for Bidirectional Model Transformations: The Triple Graph Grammar Case.
• Erwann Wernli. Bidirectional transformations meets dynamic updates: promise & perils.
• Perdita Stevens. Observations relating to the equivalences induced on model sets by bidirectional transformations.

Closing Discussion: 17:30 - 18:00