‹Programming› 2018 (series) / Bx 2018 (series) /
Bx 2018 Program
This is the Bx 2018 program - see the full program for ‹Programming› 2018 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 9 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Mon 9 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
12:30 - 14:30 | |||
12:30 2hLunch | Lunch Catering |
Tue 10 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 10 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:50 - 10:30 | |||
08:50 10mDay opening | Opening Bx | ||
09:00 30mFull-paper | Confidentiality in the process of (model-driven) software development Bx File Attached | ||
09:30 30mFull-paper | Multimodel Correspondence through Inter-Model Constraints Bx File Attached | ||
10:00 30mShort-paper | On the Development of Consistent User Interfaces Bx Anthony Anjorin , Enes Yigitbas University of Paderborn, Germany, Hermann Kaindl , Roman Popp TU Wien, Vienna, Austria |
11:00 - 12:30 | Mathematical FoundationsBx at Baie des Anges B Chair(s): Jeremy Gibbons Department of Computer Science, University of Oxford | ||
11:00 30mFull-paper | Cospans and Symmetric Lenses Bx | ||
11:30 30mShort-paper | Understanding Profunctor Optics: a representation theorem Bx | ||
12:00 30mTalk | Bimorphic lenses in compositional game theory Bx Jules Hedges University of Oxford |
12:30 - 14:30 | |||
12:30 2hLunch | Lunch Catering |
14:30 - 16:00 | |||
14:30 30mShort-paper | Towards a Visual Editor for Lens Combinators Bx Pre-print | ||
15:00 30mFull-paper | Enhancing the JTL Tool for Bidirectional Transformations Bx | ||
15:30 30mFull-paper | Lightweight Data Sharing System based on Bidirectional Transformations Bx Adrien Duchêne , Hugues Marchal , Zhenjiang Hu National Institute of Informatics, Pierre Yves Schobbens University of Namur |
16:30 - 18:10 | |||
16:30 30mTalk | An Axiomatic Basis for Bidirectional Programming Bx Hsiang-Shang ‘Josh’ Ko National Institute of Informatics, Japan, Zhenjiang Hu National Institute of Informatics Link to publication DOI | ||
17:00 30mTalk | Profunctor Optics and the Yoneda Lemma Bx | ||
17:30 30mTalk | Towards sound, flexible and optimal build for megamodels Bx Perdita Stevens University of Edinburgh | ||
18:00 10mDay closing | Closing Bx |
Wed 11 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Wed 11 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
12:00 - 13:45 | |||
12:00 1h45mLunch | Lunch Catering |
Thu 12 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Thu 12 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
12:00 - 13:45 | |||
12:00 1h45mLunch | Lunch Catering |