Program

Agenda in CEST, please visit the STAF program website for further information & entering the zoom sessions via the whova platform.

09:00–10:30 Bx Opening & Keynote (Session chairs: Leen Lambers & Meng Wang)
09:00–09:10 Opening
09:10–10:30 Edward Kmett (Keynote Speaker):
A Taste of Linear Optics (Slides as PDF)
10:30–11:00 Coffee Break
11:00–12:30 Bx & Lenses (Session chair: Tarmo Uustalu)
11:00–11:30 Anthony Anjorin (Speaker), Hsiang-Shang Ko and Erhan Leblebici:
C-Lenses Explained: Bx Foundations for the Rest of Us PDF Slides as PDF
11:30–12:00 Bryce Clarke (Speaker):
Delta lenses as Coalgebras for a Comonad Slides as PDF
12:00–12:30 Michael Johnson (Speaker) and Robert Rosebrugh:
On the "Surjectivity" of Lenses Slides as PDF
12:30–1:30 Lunch Break
1:30–3:00 Bx Features & Applications (Session chair: Bernhard Westfechtel)
1:30–2:00 Van-Dang Tran (Speaker), Hiroyuki Kato and Zhenjiang Hu:
Toward Recursive View Update Strategies on Relations (Short paper) PDF Slides as PDF
2:00–2:30 Timur Sağlam (Speaker) and Heiko Klare:
Classifying and Avoiding Compatibility Issues in Networks of Bidirectional Transformations PDF Slides as PDF
2:30–3:00 Nils Weidmann (Speaker) and Anthony Anjorin:
eMoflon::Neo - Consistency and Model Management with Graph Databases (Tool paper) PDF Slides as PDF
3:00–3:30 Coffee Break
3:30–5:00 Group Discussion & Wrapping up (Session chairs: Leen Lambers & Meng Wang)
Unless otherwise stated, the content of this page is licensed under GNU Free Documentation License.