Write a Blog >>
POPL 2020
Sun 19 - Sat 25 January 2020
New Orleans, Louisiana, United States
Toggle navigation
Attending
Venue: JW Marriott New Orleans
Restaurant: Palace Cafe
Registration
Online Participation
Travel to the USA
Mentoring Events
Information for Students
Code of Conduct
Supporting POPL
Accessibility
SIGPLAN CARES
Program
Complete Program
Your Program
Sun 19 Jan
Mon 20 Jan
Tue 21 Jan
Wed 22 Jan
Thu 23 Jan
Fri 24 Jan
Sat 25 Jan
Tracks
POPL 2020
Research Papers
Artifact Evaluation
Student Research Competition
Workshops and Co-located Events
TutorialFest
POPLmark 15 Year Retrospective Panel
Ally Skills Session
LGBTQ Lunch
Mentoring Breakfasts
W@POPL Dinner
Student Volunteers
Co-hosted Conferences
CPP
VMCAI
Workshops
ADSL
CoqPL
HASE
LAFI
(né PPS)
PEPM
PLMW
PLanQC
PriSC
PriSC
Principles of Secure Compilation
- Lucet: A Compiler and Runtime for High-Concurrency Low-Latency Sandboxing
WGT
Co-hosted Symposiums
PADL
Organization
POPL 2020
Organizing Committee
Steering Committee
Research Papers
Program Committee
Artifact Evaluation
Artifact Evaluation Committee
Student Research Competition
Selection Committee
TutorialFest
Tutorials Evaluation Committee
POPLmark 15 Year Retrospective Panel
Panel
Organizing Committee
Ally Skills Session
Organizers
LGBTQ Lunch
Organizer
Mentoring Breakfasts
Organizing Committee
W@POPL Dinner
Organizers
Student Volunteers
Student Volunteers Committee
Contributors
People Index
Co-hosted Conferences
CPP
Program Committee
VMCAI
Invited Speakers
Organizing Committee
Program Committee
Artifact-Evaluation Committee
Steering Committee
Workshops
ADSL
Organizing Committee
Program Committee
CoqPL
Invited speakers
Organizing Committee
Program Committee
HASE
Organizing Committee
Program Committee
LAFI
Program Committee
Steering Committee
PEPM
PC Chairs
Program Committee
PLMW
Organizing Committee
Invited speakers
Panelists
PLanQC
Organizing Committee
Program Committee
PriSC
Program Committee
Steering Committee
WGT
Organizing Committee
Program Committee
Co-hosted Symposiums
PADL
Program Chairs
Program Committee
Publicity Chair
Search
Series
Series
POPL 2021
POPL 2020
POPL 2019
POPL 2018
POPL 2017
POPL 2016
Sign in
Sign up
POPL 2020
(
series
) /
Catering
POPL 2020
About
Program
Events
Lunch, Diner, Coffee-breaks
Display in different time zone
The program is currently displayed in
(GMT-06:00) Saskatchewan, Central America
.
Use conference time zone: (GMT-06:00) Saskatchewan, Central America
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 19 Jan
(GMT-06:00) Saskatchewan, Central America
change
POPL-2020-catering
10:00 - 10:30:
Catering
- Sunday Morning Break at
Break
POPL-2020-catering
10:00 - 10:30
Coffee break
Break
POPL-2020-catering
12:30 - 14:00:
Catering
- Sunday Lunch at
Lunch Room
POPL-2020-catering
12:30 - 14:00
Lunch
Lunch
POPL-2020-catering
15:05 - 15:35:
Catering
- Sunday Afternoon Break at
Break
Mon 20 Jan
(GMT-06:00) Saskatchewan, Central America
change
POPL-2020-catering
10:00 - 10:30:
Catering
- Monday Morning Break at
Break
POPL-2020-catering
12:30 - 14:00:
Catering
- Monday Lunch at
Lunch Room
POPL-2020-catering
12:30 - 14:00
Lunch
Lunch
POPL-2020-catering
15:05 - 15:35:
Catering
- Monday Afternoon Break at
Break
Tue 21 Jan
(GMT-06:00) Saskatchewan, Central America
change
POPL-2020-catering
10:00 - 10:30:
Catering
- Tuesday Morning Break at
Break
POPL-2020-catering
12:30 - 14:00:
Catering
- Tuesday Lunch at
Lunch Room
POPL-2020-catering
12:30 - 14:00
Lunch
Lunch
POPL-2020-catering
15:05 - 15:35:
Catering
- Tuesday Afternoon Break at
Break
Wed 22 Jan
(GMT-06:00) Saskatchewan, Central America
change
POPL-2020-catering
10:00 - 10:30:
Catering
- Wednesday Morning Break at
Break
POPL-2020-catering
12:30 - 14:00:
Catering
- Wednesday Lunch at
Lunch Room
POPL-2020-catering
12:30 - 14:00
Lunch
Lunch
POPL-2020-catering
15:05 - 15:35:
Catering
- Wednesday Afternoon Break at
Break
Thu 23 Jan
(GMT-06:00) Saskatchewan, Central America
change
POPL-2020-catering
10:00 - 10:30:
Catering
- Thursday Morning Break at
Break
POPL-2020-catering
12:30 - 14:00:
Catering
- Thursday Lunch at
Lunch Room
POPL-2020-catering
12:30 - 14:00
Lunch
Lunch
POPL-2020-catering
15:05 - 15:35:
Catering
- Thursday Afternoon Break at
Break
Fri 24 Jan
(GMT-06:00) Saskatchewan, Central America
change
POPL-2020-catering
10:00 - 10:30:
Catering
- Friday Morning Break at
Break
POPL-2020-catering
12:30 - 14:00:
Catering
- Friday Lunch at
Lunch Room
POPL-2020-catering
12:30 - 14:00
Lunch
Lunch
POPL-2020-catering
15:05 - 15:35:
Catering
- Friday Afternoon Break at
Break
Sat 25 Jan
(GMT-06:00) Saskatchewan, Central America
change
POPL-2020-catering
10:00 - 10:30:
Catering
- Saturday Morning Break at
Break
POPL-2020-catering
12:30 - 14:00:
Catering
- Saturday Lunch at
Lunch Room
POPL-2020-catering
12:30 - 14:00
Lunch
Lunch
POPL-2020-catering
15:05 - 15:35:
Catering
- Saturday Afternoon Break at
Break
Not scheduled yet
POPL-2020-catering
Not scheduled yet
Dinner
Dinner
Events
Title
Break
Dinner
Lunch
x
Wed 27 May 11:15