POPL 2017
Sun 15 - Sat 21 January 2017
Toggle navigation
Attending
Campus: Paris Jussieu
Proceedings
Students
Registration
Practical information
Visas
Accommodation
Banner image credits
Program
Complete Program
Your Program
Sun 15 Jan
Mon 16 Jan
Tue 17 Jan
Wed 18 Jan
Thu 19 Jan
Fri 20 Jan
Sat 21 Jan
Tracks
POPL 2017
Tutorials
Student Research Competition
POPL
Artifact Evaluation
Co-hosted Conferences
CPP
CPP
CPP
VMCAI
VMCAI
VMCAI
Workshops
PPS
CoqPL
N40AI
Next 40 years of Abstract Interpretation
Off the Beaten Track
OBT
PEPM
PLMW
PLMW
PiP
RDP
SCM
TTT
Co-hosted Symposiums
PADL
Organization
POPL 2017
Organizing Committee
Steering Committee
Student Research Competition
Selection Committee
POPL
Program Committee
External Review Committee
Artifact Evaluation
Artifact Evaluation Committee
Contributors
People Index
Co-hosted Conferences
CPP
Program Committee
VMCAI
Organizing Committee
Program committee
Steering Committee
Program Chairs
Workshops
PPS
Program Committee
CoqPL
Program Committee
N40AI
Organizer
Off the Beaten Track
Organizing Committee
Program Committee
PEPM
Programme Committee
Programme Committee
PLMW
Speaker
Program Committee
PiP
Program Committee
RDP
Program Committee
SCM
Organizing Committee
TTT
Program Committee
Co-hosted Symposiums
PADL
Organizing Committee
Search
Series
Series
POPL 2021
POPL 2020
POPL 2019
POPL 2018
POPL 2017
POPL 2016
Sign in
Sign up
POPL 2017
(
series
) /
Catering
POPL 2017
About
Program
Accepted Papers
Lunch, Dinner, Coffee-breaks
Display in different time zone
The program is currently displayed in
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
.
Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(GMT+01:00) Greenwich Mean Time : Belfast
(GMT+01:00) Greenwich Mean Time : Dublin
(GMT+01:00) Greenwich Mean Time : Lisbon
(GMT+01:00) Greenwich Mean Time : London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
Apply
Dates
Sun 15 Jan
(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-catering
10:00 - 10:30
Coffee break
Break
POPL-2017-catering
12:00 - 14:00:
Catering
- Buffet at
Catering area
POPL-2017-catering
12:00 - 14:00
Lunch
Lunch
POPL-2017-catering
15:30 - 16:00:
Catering
- Coffee break at
Catering area
POPL-2017-catering
15:30 - 16:00
Coffee break
Break
Mon 16 Jan
(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-catering
10:00 - 10:30
Coffee break
Break
POPL-2017-catering
12:00 - 14:00:
Catering
- Buffet at
Catering area
POPL-2017-catering
12:00 - 14:00
Lunch
Lunch
POPL-2017-catering
15:30 - 16:00:
Catering
- Coffee break at
Auditorium Hall
POPL-2017-catering
15:30 - 16:00
Coffee break
Break
Tue 17 Jan
(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-catering
10:00 - 10:30
Coffee break
Break
POPL-2017-catering
12:00 - 14:00:
Catering
- Buffet at
Catering area
POPL-2017-catering
12:00 - 14:00
Lunch
Lunch
POPL-2017-catering
15:30 - 16:00:
Catering
- Coffee break at
Auditorium Hall
POPL-2017-catering
15:30 - 16:00
Coffee break
Break
Wed 18 Jan
(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-catering
10:00 - 10:30
Coffee break
Break
POPL-2017-catering
12:10 - 14:20:
Catering
- Buffet at
Catering area
POPL-2017-catering
12:10 - 14:20
Lunch
Lunch
POPL-2017-catering
16:00 - 16:30:
Catering
- Coffee break at
Auditorium Hall
POPL-2017-catering
16:00 - 16:30
Coffee break
Break
POPL-2017-catering
19:30 - 23:00:
Catering
- Social dinner at
Musée des Arts Forains
POPL-2017-catering
19:30 - 23:00
Dinner
Social dinner
Thu 19 Jan
(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-catering
10:00 - 10:30
Coffee break
Break
POPL-2017-catering
12:10 - 14:20:
Catering
- Buffet at
Catering area
POPL-2017-catering
12:10 - 14:20
Lunch
Lunch
POPL-2017-catering
16:00 - 16:30:
Catering
- Coffee break at
Auditorium Hall
POPL-2017-catering
16:00 - 16:30
Coffee break
Break
Fri 20 Jan
(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-catering
10:00 - 10:30
Coffee break
Break
POPL-2017-catering
12:10 - 14:20:
Catering
- Buffet at
Catering area
POPL-2017-catering
12:10 - 14:20
Lunch
Lunch
POPL-2017-catering
16:00 - 16:30:
Catering
- Coffee break at
Auditorium Hall
POPL-2017-catering
16:00 - 16:30
Coffee break
Break
Sat 21 Jan
(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-catering
10:00 - 10:30
Coffee break
Break
POPL-2017-catering
12:00 - 14:00:
Catering
- Buffet at
Catering area
POPL-2017-catering
12:00 - 14:00
Lunch
Lunch
POPL-2017-catering
15:30 - 16:00:
Catering
- Coffee break at
Auditorium Hall
POPL-2017-catering
15:30 - 16:00
Coffee break
Break
Accepted Papers
Title
Break
Lunch
Social dinner
x
Wed 3 Jun 07:48