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

Mon 9 Apr

programming-2018-Organizational
08:00 - 17:00: Organizational - Registration at Registration (Lobby)
programming-2018-Organizational152325360000008:00 - 17:00
Registration
cocodo-2018-dojo
08:45 - 10:30: CoCoDo 2018 - CoCoDo morning at Matisse
cocodo-2018-dojo152325630000008:45 - 09:00
Day opening
cocodo-2018-dojo152325720000009:00 - 10:30
Talk
programming-2018-catering
10:30 - 11:00: Catering - Coffee Break at Lobby
programming-2018-catering152326260000010:30 - 11:00
Coffee break
cocodo-2018-dojo
11:00 - 12:30: CoCoDo 2018 - CoCoDo pre-lunch at Matisse
cocodo-2018-dojo152326440000011:00 - 12:30
Talk
refuses-2018-papers
11:00 - 12:30: Salon des Refusés 2018 - Salon des Refusés 2 at Baie des Anges A
refuses-2018-papers152326440000011:00 - 11:30
Talk
Pre-print
refuses-2018-papers152326620000011:30 - 11:50
Talk
refuses-2018-papers152326740000011:50 - 12:30
Talk
programming-2018-catering
12:30 - 14:30: Catering - Lunch at Restaurant (Rooftop)
programming-2018-catering152326980000012:30 - 14:30
Lunch
MoreVMs-2018
14:30 - 16:10: MoreVMs 2018 - MoreVMs 3 at Baie des Anges B
MoreVMs-2018152327700000014:30 - 15:00
Talk
Pre-print Media Attached
MoreVMs-2018152327880000015:00 - 15:30
Talk
Pre-print
MoreVMs-2018152328060000015:30 - 16:00
Meeting
MoreVMs-2018152328240000016:00 - 16:10
Day closing
cocodo-2018-dojo
14:30 - 16:00: CoCoDo 2018 - CoCoDo post-lunch at Matisse
cocodo-2018-dojo152327700000014:30 - 16:00
Talk
refuses-2018-papers
14:30 - 16:00: Salon des Refusés 2018 - Salon des Refusés 3 at Baie des Anges A
refuses-2018-papers152327700000014:30 - 15:00
Talk
Pre-print
refuses-2018-papers152327880000015:00 - 15:20
Talk
refuses-2018-papers152328000000015:20 - 16:00
Talk
programming-2018-catering
16:00 - 16:30: Catering - Coffee Break at Lobby
programming-2018-catering152328240000016:00 - 16:30
Coffee break
cocodo-2018-dojo
16:30 - 18:00: CoCoDo 2018 - CoCoDo afternoon at Matisse
cocodo-2018-dojo152328420000016:30 - 17:00
Talk
cocodo-2018-dojo152328600000017:00 - 17:30
Talk
refuses-2018-papers
16:30 - 18:00: Salon des Refusés 2018 - Salon des Refusés 4 at Baie des Anges A
refuses-2018-papers152328420000016:30 - 17:00
Talk
Pre-print
refuses-2018-papers152328600000017:00 - 17:20
Talk

Tue 10 Apr

programming-2018-Organizational
08:00 - 17:00: Organizational - Registration at Registration (Lobby)
programming-2018-Organizational152334000000008:00 - 17:00
Registration
bx-2018-papers
08:50 - 10:30: Bx 2018 - Model Transformation at Baie des Anges B
Chair(s): Jens Weber
bx-2018-papers152334300000008:50 - 09:00
Day opening
bx-2018-papers152334360000009:00 - 09:30
Full-paper
File Attached
bx-2018-papers152334540000009:30 - 10:00
Full-paper
File Attached
bx-2018-papers152334720000010:00 - 10:30
Short-paper
proweb-2018-papers
09:00 - 10:30: ProWeb 2018 - Session 1 at Matisse
proweb-2018-papers152334360000009:00 - 10:00
Talk
proweb-2018-papers152334720000010:00 - 10:25
Talk
proweb-2018-papers152334870000010:25 - 10:30
Talk
programming-2018-catering
10:30 - 11:00: Catering - Coffee Break at Lobby
programming-2018-catering152334900000010:30 - 11:00
Coffee break
bx-2018-papers
11:00 - 12:30: Bx 2018 - Mathematical Foundations at Baie des Anges B
Chair(s): Jeremy Gibbons
bx-2018-papers152335080000011:00 - 11:30
Full-paper
bx-2018-papers152335260000011:30 - 12:00
Short-paper
bx-2018-papers152335440000012:00 - 12:30
Talk
proweb-2018-papers
11:00 - 12:30: ProWeb 2018 - Session 2 at Matisse
proweb-2018-papers152335080000011:00 - 11:25
Full-paper
proweb-2018-papers152335230000011:25 - 11:50
Full-paper
proweb-2018-papers152335380000011:50 - 12:15
Talk
proweb-2018-papers152335530000012:15 - 12:30
Talk
programming-2018-catering
12:30 - 14:30: Catering - Lunch at Restaurant (Rooftop)
programming-2018-catering152335620000012:30 - 14:30
Lunch
programming-2018-src
12:30 - 14:30: Student Research Competition - SRC Poster Presentation at Baie des Anges B
Chair(s): Philipp Haller
programming-2018-src152335620000012:30 - 12:39
Talk
programming-2018-src152335675400012:39 - 12:48
Talk
programming-2018-src152335730800012:48 - 12:57
Talk
programming-2018-src152335786200012:57 - 13:06
Talk
programming-2018-src152335841500013:06 - 13:16
Talk
programming-2018-src152335896900013:16 - 13:25
Talk
programming-2018-src152335952300013:25 - 13:34
Talk
programming-2018-src152336007700013:34 - 13:43
Talk
programming-2018-src152336063100013:43 - 13:53
Talk
programming-2018-src152336118500013:53 - 14:02
Talk
programming-2018-src152336173800014:02 - 14:11
Talk
programming-2018-src152336229200014:11 - 14:20
Talk
programming-2018-src152336284600014:20 - 14:30
Talk
PASS-2018-papers
14:30 - 16:00: PASS 2018 - PASS 1 at Matisse
PASS-2018-papers152336340000014:30 - 14:35
Day opening
PASS-2018-papers152336370000014:35 - 15:35
Talk
PASS-2018-papers152336730000015:35 - 16:00
Talk
programming-2018-catering
16:00 - 16:30: Catering - Coffee Break at Lobby
programming-2018-catering152336880000016: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 Matsuda
bx-2018-papers152337060000016:30 - 17:00
Talk
Link to publication DOI
bx-2018-papers152337240000017:00 - 17:30
Talk
bx-2018-papers152337420000017:30 - 18:00
Talk
bx-2018-papers152337600000018:00 - 18:10
Day closing
px-2018-papers
16:30 - 18:00: PX/18 - Session 4 at Baie des Anges A
px-2018-papers152337060000016:30 - 17:00
Talk
px-2018-papers152337240000017:00 - 17:30
Talk
px-2018-papers152337420000017:30 - 18:00
Talk
programming-2018-Organizational
19:00 - 22:00: Organizational - Steering Committee Meeting at Matisse
programming-2018-Organizational152337960000019:00 - 22:00
Meeting

Wed 11 Apr

programming-2018-Organizational
08:00 - 17:00: Organizational - Registration at Registration (Lobby)
programming-2018-Organizational152342640000008:00 - 17:00
Registration
programming-2018-Organizational
08:45 - 09:00: Organizational - Opening at Baie des Anges A + B
programming-2018-Organizational152342910000008:45 - 09:00
Other
programming-2018-keynotes
09:00 - 10:00: Keynotes - Wednesday Keynote at Baie des Anges A + B
programming-2018-keynotes152343000000009:00 - 10:00
Talk
programming-2018-catering
10:00 - 10:30: Catering - Coffee Break at Lobby
programming-2018-catering152343360000010:00 - 10:30
Coffee break
programming-2018-catering
12:00 - 13:45: Catering - Lunch at Restaurant (Rooftop)
programming-2018-catering152344080000012:00 - 13:45
Lunch
programming-2018-src
12:00 - 13:45: Student Research Competition - SRC Oral Presentation at Baie des Anges A + B
programming-2018-src152344080000012:00 - 13:45
Talk
programming-2018-catering
15:00 - 15:30: Catering - Coffee Break at Lobby
programming-2018-catering152345160000015:00 - 15:30
Coffee break
programming-2018-Social-Events
19:30 - 23:00: Social Events - Social Event at Restaurant
programming-2018-Social-Events152346780000019:30 - 23:00
Social Event

Thu 12 Apr

programming-2018-Organizational
08:00 - 17:00: Organizational - Registration at Registration (Lobby)
programming-2018-Organizational152351280000008:00 - 17:00
Registration
programming-2018-keynotes
09:00 - 10:00: Keynotes - Thursday Keynote at Baie des Anges A + B
programming-2018-keynotes152351640000009:00 - 10:00
Talk
programming-2018-catering
10:00 - 10:30: Catering - Coffee Break at Lobby
programming-2018-catering152352000000010:00 - 10:30
Coffee break
programming-2018-catering
12:00 - 13:45: Catering - Lunch at Restaurant (Rooftop)
programming-2018-catering152352720000012:00 - 13:45
Lunch
programming-2018-src
12:00 - 13:45: Student Research Competition - SRC Oral Presentation at Baie des Anges A + B
programming-2018-src152352720000012:00 - 13:45
Talk
programming-2018-papers
13:45 - 15:00: Research Papers - Session 5 at Baie des Anges A + B
programming-2018-papers152353350000013:45 - 14:30
Talk
Link to publication DOI
programming-2018-papers152353620000014:30 - 15:00
Talk
Link to publication DOI
programming-2018-catering
15:00 - 15:30: Catering - Coffee Break at Lobby
programming-2018-catering152353800000015:00 - 15:30
Coffee break
programming-2018-Organizational
16:30 - 17:00: Organizational - Closing at Baie des Anges A + B
programming-2018-Organizational152354340000016:30 - 17:00
Other

Tue 10 Apr 2018

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:003022:0030
Baie des Anges A
09:00 - 10:30
11:00 - 12:30
14:30 - 16:00
16:30 - 18:00
Baie des Anges B
08:50 - 10:30
11:00 - 12:30
12:30 - 14:30
14:30 - 16:00
16:00 - 16:30
16:30 - 18:10
Lobby
10:30 - 11:00
16:00 - 16:30
Matisse
09:00 - 10:30
11:00 - 12:30
14:30 - 16:00
16:30 - 18:00
19:00 - 22:00
Registration (Lobby)
08:00 - 17:00
Restaurant (Rooftop)
12:30 - 14:30

Wed 11 Apr 2018

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:003022:003023:0030
Baie des Anges A + B
08:45 - 09:00
09:00 - 10:00
10:30 - 12:00
12:00 - 13:45
13:45 - 15:00
15:30 - 17:00
Baie des Anges B
10:00 - 10:30
15:00 - 15:30
Lobby
10:00 - 10:30
15:00 - 15:30
Registration (Lobby)
08:00 - 17:00
Restaurant
19:30 - 23:00
Restaurant (Rooftop)
12:00 - 13:45

Thu 12 Apr 2018

Mon 9 Apr 2018

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Baie des Anges A
09:00 - 09:20
09:20 - 09:50
09:50 - 10:10
10:10 - 10:30
11:00 - 11:30
11:30 - 11:50
11:50 - 12:30
14:30 - 15:00
15:00 - 15:20
15:20 - 16:00
16:30 - 17:00
17:00 - 17:20
Baie des Anges B
08:50 - 09:00
09:00 - 09:30
09:30 - 10:00
10:00 - 10:30
11:00 - 11:30
11:30 - 12:00
12:00 - 12:30
12:30 - 14:30
12:30 - 14:30
12:30 - 14:30
12:30 - 14:30
12:30 - 14:30
12:30 - 14:30
12:30 - 14:30
14:30 - 15:00
15:00 - 15:30
15:30 - 16:00
16:00 - 16:10
Lobby
10:30 - 11:00
16:00 - 16:30
Matisse
08:45 - 09:00
09:00 - 10:30
11:00 - 12:30
14:30 - 16:00
16:30 - 17:00
17:00 - 17:30
Registration (Lobby)
08:00 - 17:00
Restaurant (Rooftop)
12:30 - 14:30

Tue 10 Apr 2018

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:00153045
Baie des Anges A
09:00 - 09:22
09:22 - 09:45
09:45 - 10:07
10:07 - 10:30
11:00 - 11:30
11:30 - 12:00
12:00 - 12:30
14:30 - 15:00
15:00 - 15:30
15:30 - 16:00
16:30 - 17:00
17:00 - 17:30
17:30 - 18:00
Baie des Anges B
08:50 - 09:00
09:00 - 09:30
09:30 - 10:00
10:00 - 10:30
11:00 - 11:30
11:30 - 12:00
12:00 - 12:30
12:30 - 12:39
12:39 - 12:48
12:48 - 12:57
12:57 - 13:06
13:06 - 13:16
13:16 - 13:25
13:25 - 13:34
13:34 - 13:43
13:43 - 13:53
13:53 - 14:02
14:02 - 14:11
14:11 - 14:20
14:20 - 14:30
14:30 - 15:00
15:00 - 15:30
15:30 - 16:00
16:00 - 16:30
16:00 - 16:30
16:00 - 16:30
16:00 - 16:30
16:00 - 16:30
16:00 - 16:30
16:00 - 16:30
16:30 - 17:00
17:00 - 17:30
17:30 - 18:00
18:00 - 18:10
Lobby
10:30 - 11:00
16:00 - 16:30
Matisse
09:00 - 10:00
10:00 - 10:25
10:25 - 10:30
11:00 - 11:25
11:25 - 11:50
11:50 - 12:15
12:15 - 12:30
14:30 - 14:35
14:35 - 15:35
15:35 - 16:00
16:30 - 16:55
16:55 - 17:20
17:20 - 17:45
17:45 - 18:00
19:00 - 22:00
Registration (Lobby)
08:00 - 17:00
Restaurant (Rooftop)
12:30 - 14:30

Wed 11 Apr 2018

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:0015304523:00153045
Baie des Anges A + B
08:45 - 09:00
09:00 - 10:00
10:30 - 11:00
11:00 - 11:30
11:30 - 12:00
12:00 - 13:45
13:45 - 14:30
14:30 - 15:00
15:30 - 16:00
16:00 - 16:30
16:30 - 17:00
Baie des Anges B
10:00 - 10:30
15:00 - 15:30
15:00 - 15:30
15:00 - 15:30
15:00 - 15:30
15:00 - 15:30
15:00 - 15:30
15:00 - 15:30
Lobby
10:00 - 10:30
15:00 - 15:30
Registration (Lobby)
08:00 - 17:00
Restaurant
19:30 - 23:00
Restaurant (Rooftop)
12:00 - 13:45

Thu 12 Apr 2018

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Baie des Anges A + B
09:00 - 10:00
10:30 - 11:00
11:00 - 11:30
11:30 - 12:00
12:00 - 13:45
13:45 - 14:30
14:30 - 15:00
15:30 - 16:00
16:00 - 16:30
16:30 - 17:00
Baie des Anges B
10:00 - 10:30
15:00 - 15:30
15:00 - 15:30
15:00 - 15:30
15:00 - 15:30
15:00 - 15:30
15:00 - 15:30
15:00 - 15:30
Lobby
10:00 - 10:30
15:00 - 15:30
Registration (Lobby)
08:00 - 17:00
Restaurant (Rooftop)
12:00 - 13:45
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)