‹Programming› 2018
Mon 9 - Thu 12 April 2018 Nice, France
Filter
Dates
Rooms
Tracks
Badges
Your Program

Mon 9 Apr

programming-2018-catering
10:30 - 11:00: Catering - Coffee Break at Lobby
programming-2018-catering10:30 - 11:00
Coffee break
programming-2018-catering
12:30 - 14:30: Catering - Lunch at Restaurant (Rooftop)
programming-2018-catering12:30 - 14:30
Lunch
programming-2018-catering
16:00 - 16:30: Catering - Coffee Break at Lobby
programming-2018-catering16:00 - 16:30
Coffee break

Tue 10 Apr

bx-2018-papers
08:50 - 10:30: Bx 2018 - Model Transformation at Baie des Anges B
Chair(s): Jens WeberUniversity of Victoria
bx-2018-papers08:50 - 09:00
Day opening
bx-2018-papers09:00 - 09:30
Full-paper
Michael JohnsonMacquarie University, Australia, Perdita StevensUniversity of Edinburgh
File Attached
bx-2018-papers09:30 - 10:00
Full-paper
File Attached
bx-2018-papers10:00 - 10:30
Short-paper
Anthony AnjorinPaderborn University, Germany, Enes YigitbasUniversity of Paderborn, Germany, Hermann Kaindl, Roman PoppTU Wien, Vienna, Austria
programming-2018-catering
10:30 - 11:00: Catering - Coffee Break at Lobby
programming-2018-catering10:30 - 11:00
Coffee break
bx-2018-papers
11:00 - 12:30: Bx 2018 - Mathematical Foundations at Baie des Anges B
Chair(s): Jeremy GibbonsDepartment of Computer Science, University of Oxford
bx-2018-papers11:00 - 11:30
Full-paper
Michael JohnsonMacquarie University, Australia, Robert Rosebrugh
bx-2018-papers11:30 - 12:00
Short-paper
bx-2018-papers12:00 - 12:30
Talk
Jules HedgesUniversity of Oxford
programming-2018-catering
12:30 - 14:30: Catering - Lunch at Restaurant (Rooftop)
programming-2018-catering12:30 - 14:30
Lunch
bx-2018-papers
14:30 - 16:00: Bx 2018 - Tools and Systems at Baie des Anges B
Chair(s): Perdita StevensUniversity of Edinburgh
bx-2018-papers14:30 - 15:00
Short-paper
Anthony AnjorinPaderborn University, Germany, Hsiang-Shang ‘Josh’ KoNational Institute of Informatics, Japan
Pre-print
bx-2018-papers15:00 - 15:30
Full-paper
bx-2018-papers15:30 - 16:00
Full-paper
Adrien Duchêne, Hugues Marchal, Zhenjiang HuNational Institute of Informatics, Pierre Yves SchobbensUniversity of Namur
programming-2018-catering
16:00 - 16:30: Catering - Coffee Break at Lobby
programming-2018-catering16:00 - 16:30
Coffee break
bx-2018-papers
16:30 - 18:10: Bx 2018 - Programming and Applications at Baie des Anges B
Chair(s): Kazutaka MatsudaTohoku University
bx-2018-papers16:30 - 17:00
Talk
Hsiang-Shang ‘Josh’ KoNational Institute of Informatics, Japan, Zhenjiang HuNational Institute of Informatics
Link to publication DOI
bx-2018-papers17:00 - 17:30
Talk
Jeremy GibbonsDepartment of Computer Science, University of Oxford, Guillaume Boisseau
bx-2018-papers17:30 - 18:00
Talk
Perdita StevensUniversity of Edinburgh
bx-2018-papers18:00 - 18:10
Day closing

Wed 11 Apr

programming-2018-catering
10:00 - 10:30: Catering - Coffee Break at Lobby
programming-2018-catering10:00 - 10:30
Coffee break
programming-2018-catering
12:00 - 13:45: Catering - Lunch at Restaurant (Rooftop)
programming-2018-catering12:00 - 13:45
Lunch
programming-2018-catering
15:00 - 15:30: Catering - Coffee Break at Lobby
programming-2018-catering15:00 - 15:30
Coffee break

Thu 12 Apr

programming-2018-catering
10:00 - 10:30: Catering - Coffee Break at Lobby
programming-2018-catering10:00 - 10:30
Coffee break
programming-2018-catering
12:00 - 13:45: Catering - Lunch at Restaurant (Rooftop)
programming-2018-catering12:00 - 13:45
Lunch
programming-2018-catering
15:00 - 15:30: Catering - Coffee Break at Lobby
programming-2018-catering15:00 - 15:30
Coffee break

Mon 9 Apr 2018

Room10:003011:003012:003013:003014:003015:003016:0030
Lobby
Restaurant (Rooftop)

Tue 10 Apr 2018

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Baie des Anges B
14:30 - 16:00
Lobby
Restaurant (Rooftop)

Wed 11 Apr 2018

Thu 12 Apr 2018

Mon 9 Apr 2018

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Lobby
Restaurant (Rooftop)

Wed 11 Apr 2018

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
Lobby
Restaurant (Rooftop)

Thu 12 Apr 2018

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
Lobby
Restaurant (Rooftop)
iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format
Session Calendar (ical)
Detailed Event Calendar (ical)