Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021
Online
Toggle navigation
Attending
Venue: Online (How to POPL in 2021)
Supporting POPL
Student Volunteers
Code of Conduct
Registration
FAQ
Program
POPL Program
Your Program
Sun 17 Jan
Mon 18 Jan
Tue 19 Jan
Wed 20 Jan
Thu 21 Jan
Fri 22 Jan
Tracks
POPL 2021
POPL
Artifact Evaluation
Workshops and Co-located Events
TutorialFest
Student Research Competition
Student Volunteers
POPL Meetups
Co-hosted Conferences
CPP
CPP
CPP
Lightning Talks
PLMW
VMCAI
Workshops
CoqPL
LAFI
PEPM
PriSC
Co-hosted Symposia
PADL
Organization
POPL 2021 Committees
Organizing Committee
Track Committees
POPL
Artifact Evaluation
TutorialFest
Student Research Competition
Student Volunteers
Contributors
People Index
Co-hosted Conferences
CPP
Organization Committee
Program Committee
Steering Committee
PLMW
Invited Speakers
Panelists
Organizing Committee
VMCAI
Invited Speakers
Organizing Committee
Program Committee
Artifact Evaluation Committee
Workshops
CoqPL
Invited speaker
Organizing Committee
Program Committee
LAFI
Organizing Committee
Program Committee
Steering Committee
PEPM
Organizing Committee
Program Committee
Steering Committee
PriSC
Program Committee
Steering Committee
Co-hosted Symposia
PADL
Programme Chairs
Programme Committee
Search
Series
Series
POPL 2025
POPL 2024
POPL 2023
POPL 2022
POPL 2021
POPL 2020
POPL 2019
POPL 2018
POPL 2017
POPL 2016
Sign in
Sign up
POPL 2021
(
series
) /
Online (How to POPL in 2021)
/
Room information: Break
Venue
Online (How to POPL in 2021)
Room name
Break
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
.
Use conference time zone: (GMT+01: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-10:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-09:00) Alaska
(GMT-08:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-08:00) Pacific Time (US & Canada)
(GMT-07:00) Mountain Time (US & Canada)
(GMT-07:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-06:00) Central Time (US & Canada)
(GMT-05:00) Eastern Time (US & Canada)
(GMT-05:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-04:00) Atlantic Time (Goose Bay)
(GMT-04:00) Atlantic Time (Canada)
(GMT-03:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-03:00) Miquelon, St. Pierre
(GMT-03:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+02:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03: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+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Sun 17 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
15:30 - 16:00
Social
Workshops and Co-located Events
at
Break
15:30
30m
Social Event
Sunday Breakfast Tables
Workshops and Co-located Events
17:30 - 18:00
Social
Workshops and Co-located Events
at
Break
17:30
30m
Break
Sunday Coffee Break
Workshops and Co-located Events
19:30 - 20:00
Social
Workshops and Co-located Events
at
Break
19:30
30m
Social Event
Sunday Hallway Time
Workshops and Co-located Events
Mon 18 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
15:30 - 16:00
Social
Workshops and Co-located Events
at
Break
15:30
30m
Social Event
Topic Oriented Discussions
Workshops and Co-located Events
17:30 - 18:00
Social
Workshops and Co-located Events
at
Break
17:30
30m
Break
Monday Coffee Break 2
Workshops and Co-located Events
19:30 - 20:00
Social
Workshops and Co-located Events
at
Break
19:30
30m
Social Event
Monday Shuffle-Space Time
Workshops and Co-located Events
20:00 - 21:00
Social
Workshops and Co-located Events
at
Break
After Hours
20:00
60m
Social Event
POPL Card Game
Workshops and Co-located Events
Tue 19 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
15:30 - 16:00
Social
Workshops and Co-located Events
at
Break
15:30
30m
Social Event
Tuesday Shuffle-Space Time
Workshops and Co-located Events
17:30 - 18:00
Social
Workshops and Co-located Events
at
Break
17:30
30m
Break
Tuesday Coffee Break 2
Workshops and Co-located Events
19:30 - 20:00
Social
Workshops and Co-located Events
at
Break
19:30
30m
Break
Welcome to Copenhagen!
Workshops and Co-located Events
Wed 20 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
15:15 - 15:45
Social
POPL
at
Break
15:15
30m
Social Event
Wednesday Breakfast Tables
POPL
18:00 - 18:30
Social
POPL
at
Break
19:30 - 20:00
Social
POPL
at
Break
19:30
30m
Social Event
Happy Hour
POPL
20:00 - 21:00
Social
POPL
at
Break
After Hours
20:00
60m
Social Event
Trivia Night
POPL
Thu 21 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
02:00 - 03:00
Social
POPL
at
Break
After Hours
02:00
60m
Social Event
POPL Cocktail Hour
POPL
15:15 - 15:45
Social
POPL
at
Break
15:15
30m
Social Event
Topic Oriented Discussions
POPL
18:00 - 18:30
Social
POPL
at
Break
Fri 22 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
15:15 - 15:45
Social
POPL
at
Break
15:15
30m
Social Event
Friday Breakfast Tables
POPL
16:45 - 17:00
Break
POPL
at
Break
16:45
15m
Break
Break
POPL
18:00 - 18:30
Social
POPL
at
Break
20:00 - 20:30
Social
POPL
at
Break
After Hours
20:00
30m
Social Event
Farewell Reception
POPL
Sun 17 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
15:00
30
16:00
30
17:00
30
18:00
30
19:00
30
Break
Workshops and Co-located Events
Social
Workshops and Co-located Events
Social
Workshops and Co-located Events
Social
Mon 18 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
15:00
30
16:00
30
17:00
30
18:00
30
19:00
30
20:00
30
Break
Workshops and Co-located Events
Social
Workshops and Co-located Events
Social
Workshops and Co-located Events
Social
Workshops and Co-located Events
Social
Tue 19 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
15:00
30
16:00
30
17:00
30
18:00
30
19:00
30
Break
Workshops and Co-located Events
Social
Workshops and Co-located Events
Social
Workshops and Co-located Events
Social
Wed 20 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
15:00
30
16:00
30
17:00
30
18:00
30
19:00
30
20:00
30
Break
POPL
Social
POPL
Social
POPL
Social
POPL
Social
Thu 21 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
2:00
30
3:00
30
4:00
30
5:00
30
6:00
30
7:00
30
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
Break
POPL
Social
POPL
Social
POPL
Social
Fri 22 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
15:00
30
16:00
30
17:00
30
18:00
30
19:00
30
20:00
30
Break
POPL
Social
POPL
Break
POPL
Social
POPL
Social
Sun 17 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
19:00
15
30
45
Break
POPL Workshops and Co-located Events
Sunday Breakfast Tables
15:30 - 16:00
POPL Workshops and Co-located Events
Sunday Coffee Break
17:30 - 18:00
POPL Workshops and Co-located Events
Sunday Hallway Time
19:30 - 20:00
Mon 18 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
19:00
15
30
45
20:00
15
30
45
Break
POPL Workshops and Co-located Events
Topic Oriented Discussions
15:30 - 16:00
POPL Workshops and Co-located Events
Monday Coffee Break 2
17:30 - 18:00
POPL Workshops and Co-located Events
Monday Shuffle-Space Time
19:30 - 20:00
POPL Workshops and Co-located Events
POPL Card Game
20:00 - 21:00
Tue 19 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
19:00
15
30
45
Break
POPL Workshops and Co-located Events
Tuesday Shuffle-Space Time
15:30 - 16:00
POPL Workshops and Co-located Events
Tuesday Coffee Break 2
17:30 - 18:00
POPL Workshops and Co-located Events
Welcome to Copenhagen!
19:30 - 20:00
Wed 20 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
19:00
15
30
45
20:00
15
30
45
Break
POPL
Wednesday Breakfast Tables
15:15 - 15:45
POPL
Happy Hour
19:30 - 20:00
POPL
Trivia Night
20:00 - 21:00
Thu 21 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
2:00
15
30
45
3:00
15
30
45
4:00
15
30
45
5:00
15
30
45
6:00
15
30
45
7:00
15
30
45
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
Break
POPL
POPL Cocktail Hour
02:00 - 03:00
POPL
Topic Oriented Discussions
15:15 - 15:45
Fri 22 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
19:00
15
30
45
20:00
15
30
45
Break
POPL
Friday Breakfast Tables
15:15 - 15:45
POPL
Break
16:45 - 17:00
POPL
Farewell Reception
20:00 - 20:30
x
Thu 21 Nov 09:57