‹Programming› 2018
Mon 9 - Thu 12 April 2018 Nice, France
You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 9 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 11:00
Coffee BreakCatering at Lobby
10:30
30m
Coffee break
Break
Catering

12:30 - 14:30
12:30
2h
Lunch
Lunch
Catering

16:00 - 16:30
Coffee BreakCatering at Lobby
16:00
30m
Coffee break
Break
Catering

Tue 10 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:50 - 10:30
Model TransformationBx at Baie des Anges B
Chair(s): Jens Weber University of Victoria
08:50
10m
Day opening
Opening
Bx

09:00
30m
Full-paper
Confidentiality in the process of (model-driven) software development
Bx
Michael Johnson Macquarie University, Australia, Perdita Stevens University of Edinburgh
File Attached
09:30
30m
Full-paper
Multimodel Correspondence through Inter-Model Constraints
Bx
File Attached
10:00
30m
Short-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
10:30 - 11:00
Coffee BreakCatering at Lobby
10:30
30m
Coffee break
Break
Catering

11:00 - 12:30
Mathematical FoundationsBx at Baie des Anges B
Chair(s): Jeremy Gibbons Department of Computer Science, University of Oxford
11:00
30m
Full-paper
Cospans and Symmetric Lenses
Bx
Michael Johnson Macquarie University, Australia, Robert Rosebrugh
11:30
30m
Short-paper
Understanding Profunctor Optics: a representation theorem
Bx
12:00
30m
Talk
Bimorphic lenses in compositional game theory
Bx
Jules Hedges University of Oxford
12:30 - 14:30
12:30
2h
Lunch
Lunch
Catering

14:30 - 16:00
Tools and SystemsBx at Baie des Anges B
Chair(s): Perdita Stevens University of Edinburgh
14:30
30m
Short-paper
Towards a Visual Editor for Lens Combinators
Bx
Anthony Anjorin , Hsiang-Shang ‘Josh’ Ko National Institute of Informatics, Japan
Pre-print
15:00
30m
Full-paper
Enhancing the JTL Tool for Bidirectional Transformations
Bx
15:30
30m
Full-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:00 - 16:30
Coffee BreakCatering at Lobby
16:00
30m
Coffee break
Break
Catering

16:30 - 18:10
Programming and ApplicationsBx at Baie des Anges B
Chair(s): Kazutaka Matsuda Tohoku University
16:30
30m
Talk
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
30m
Talk
Profunctor Optics and the Yoneda Lemma
Bx
Jeremy Gibbons Department of Computer Science, University of Oxford, Guillaume Boisseau
17:30
30m
Talk
Towards sound, flexible and optimal build for megamodels
Bx
Perdita Stevens University of Edinburgh
18:00
10m
Day closing
Closing
Bx

Wed 11 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:00 - 10:30
Coffee BreakCatering at Lobby
10:00
30m
Coffee break
Break
Catering

12:00 - 13:45
12:00
1h45m
Lunch
Lunch
Catering

15:00 - 15:30
Coffee BreakCatering at Lobby
15:00
30m
Coffee break
Break
Catering

Thu 12 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:00 - 10:30
Coffee BreakCatering at Lobby
10:00
30m
Coffee break
Break
Catering

12:00 - 13:45
12:00
1h45m
Lunch
Lunch
Catering

15:00 - 15:30
Coffee BreakCatering at Lobby
15:00
30m
Coffee break
Break
Catering