POPL 2017
Sun 15 - Sat 21 January 2017

Lunch, Dinner, Coffee-breaks

Dates
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sun 15 Jan
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

POPL-2017-catering
10:00 - 10:30: Catering - Coffee break at Catering area
POPL-2017-catering10:00 - 10:30
Coffee break
POPL-2017-catering
12:00 - 14:00: Catering - Buffet at Catering area
POPL-2017-catering12:00 - 14:00
Lunch
POPL-2017-catering
15:30 - 16:00: Catering - Coffee break at Catering area
POPL-2017-catering15:30 - 16:00
Coffee break

Mon 16 Jan
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

POPL-2017-catering
10:00 - 10:30: Catering - Coffee break at Auditorium Hall
POPL-2017-catering10:00 - 10:30
Coffee break
POPL-2017-catering
12:00 - 14:00: Catering - Buffet at Catering area
POPL-2017-catering12:00 - 14:00
Lunch
POPL-2017-catering
15:30 - 16:00: Catering - Coffee break at Auditorium Hall
POPL-2017-catering15:30 - 16:00
Coffee break

Tue 17 Jan
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

POPL-2017-catering
10:00 - 10:30: Catering - Coffee break at Auditorium Hall
POPL-2017-catering10:00 - 10:30
Coffee break
POPL-2017-catering
12:00 - 14:00: Catering - Buffet at Catering area
POPL-2017-catering12:00 - 14:00
Lunch
POPL-2017-catering
15:30 - 16:00: Catering - Coffee break at Auditorium Hall
POPL-2017-catering15:30 - 16:00
Coffee break

Wed 18 Jan
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

POPL-2017-catering
10:00 - 10:30: Catering - Coffee break at Auditorium Hall
POPL-2017-catering10:00 - 10:30
Coffee break
POPL-2017-catering
12:10 - 14:20: Catering - Buffet at Catering area
POPL-2017-catering12:10 - 14:20
Lunch
POPL-2017-catering
16:00 - 16:30: Catering - Coffee break at Auditorium Hall
POPL-2017-catering16:00 - 16:30
Coffee break
POPL-2017-catering
19:30 - 23:00: Catering - Social dinner at Musée des Arts Forains
POPL-2017-catering19:30 - 23:00
Dinner

Thu 19 Jan
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

POPL-2017-catering
10:00 - 10:30: Catering - Coffee break at Auditorium Hall
POPL-2017-catering10:00 - 10:30
Coffee break
POPL-2017-catering
12:10 - 14:20: Catering - Buffet at Catering area
POPL-2017-catering12:10 - 14:20
Lunch
POPL-2017-catering
16:00 - 16:30: Catering - Coffee break at Auditorium Hall
POPL-2017-catering16:00 - 16:30
Coffee break

Fri 20 Jan
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

POPL-2017-catering
10:00 - 10:30: Catering - Coffee break at Auditorium Hall
POPL-2017-catering10:00 - 10:30
Coffee break
POPL-2017-catering
12:10 - 14:20: Catering - Buffet at Catering area
POPL-2017-catering12:10 - 14:20
Lunch
POPL-2017-catering
16:00 - 16:30: Catering - Coffee break at Auditorium Hall
POPL-2017-catering16:00 - 16:30
Coffee break

Sat 21 Jan
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

POPL-2017-catering
10:00 - 10:30: Catering - Coffee break at Auditorium Hall
POPL-2017-catering10:00 - 10:30
Coffee break
POPL-2017-catering
12:00 - 14:00: Catering - Buffet at Catering area
POPL-2017-catering12:00 - 14:00
Lunch
POPL-2017-catering
15:30 - 16:00: Catering - Coffee break at Auditorium Hall
POPL-2017-catering15:30 - 16:00
Coffee break

Accepted Papers

Title