LAFI 2021
Sun 17 - Fri 22 January 2021
Online
co-located with
POPL 2021
Toggle navigation
Attending
Venue: Online (How to POPL in 2021)
Program
Complete Program
Your Program
Sun 17 Jan
Mon 18 Jan
Tue 19 Jan
Wed 20 Jan
Thu 21 Jan
Fri 22 Jan
Track/Call
Organization
LAFI 2021 Committees
Track Committees
Organizing Committee
Program Committee
Steering Committee
Contributors
People Index
Search
Series
Series
LAFI 2024
LAFI 2023
LAFI 2022
LAFI 2021
LAFI 2020
LAFI 2019
PPS 2018
PPS 2017
PPS 2016
Sign in
Sign up
POPL 2021
(
series
) /
LAFI 2021 (
series
) /
Online (How to POPL in 2021)
/
Room information: POPL Meetups
Venue
Online (How to POPL in 2021)
Room name
POPL Meetups
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
07:00 - 08:00
Social
POPL Meetups
at
POPL Meetups
07:00
60m
Social Event
POPL Card Game
POPL Meetups
Mon 18 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
04:30 - 05:30
Social
POPL Meetups
at
POPL Meetups
04:30
60m
Social Event
Panel Discussion 1: Choosing Research Topics
POPL Meetups
Chung-Kil Hur
Seoul National University, South Korea
,
Christine Rizkallah
The University of Melbourne
,
Hongseok Yang
KAIST
,
Ilya Sergey
Yale-NUS College and National University of Singapore
,
James Noble
Victoria University of Wellington
07:00 - 08:00
Social
POPL Meetups
at
POPL Meetups
07:00
60m
Break
Monday Coffee Break 1
POPL Meetups
Tue 19 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
04:30 - 05:30
Social
POPL Meetups
at
POPL Meetups
04:30
60m
Social Event
Panel Discussion 2: Improving Peer Review
POPL Meetups
Hongseok Yang
KAIST
,
Ilya Sergey
Yale-NUS College and National University of Singapore
,
James Noble
Victoria University of Wellington
,
Soham Chakraborty
IIT Delhi
,
Youyou Cong
Tokyo Institute of Technology
07:00 - 08:00
Social
POPL Meetups
at
POPL Meetups
07:00
60m
Break
Tuesday Coffee Break 1
POPL Meetups
Wed 20 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
04:30 - 05:30
Social
POPL Meetups
at
POPL Meetups
04:30
60m
Social Event
Panel Discussion 3: Work/Life Balance
POPL Meetups
Andreea Costea
School of Computing, National University Of Singapore
,
Atsushi Igarashi
Kyoto University, Japan
,
KC Sivaramakrishnan
IIT Madras
,
Soham Chakraborty
IIT Delhi
07:00 - 08:00
Social
POPL Meetups
at
POPL Meetups
07:00
60m
Break
Wednesday Coffee Break
POPL Meetups
Thu 21 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
04:30 - 05:30
Social
POPL Meetups
at
POPL Meetups
04:30
60m
Social Event
Panel Discussion 4: Finding Friends and Collaborators in Academia
POPL Meetups
Aseem Rastogi
Microsoft Research
,
Atsushi Igarashi
Kyoto University, Japan
,
Christine Rizkallah
The University of Melbourne
,
Jeehoon Kang
KAIST
,
Youyou Cong
Tokyo Institute of Technology
07:00 - 08:00
Social
POPL Meetups
at
POPL Meetups
07:00
60m
Break
Thursday Coffee Break
POPL Meetups
21:00 - 22:00
Social
POPL Meetups
at
POPL Meetups
21:00
60m
Social Event
Games Programming Languages BoF Session
POPL Meetups
Alan Jeffrey
Roblox
,
Lennart Augustsson
Epic Games
Fri 22 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
07:00 - 08:00
Social
POPL Meetups
at
POPL Meetups
07:00
60m
Break
Friday Coffee Break
POPL Meetups
Sun 17 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
7:00
30
POPL Meetups
POPL Meetups
Social
Mon 18 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
4:00
30
5:00
30
6:00
30
7:00
30
POPL Meetups
POPL Meetups
Social
POPL Meetups
Social
Tue 19 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
4:00
30
5:00
30
6:00
30
7:00
30
POPL Meetups
POPL Meetups
Social
POPL Meetups
Social
Wed 20 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
4:00
30
5:00
30
6:00
30
7:00
30
POPL Meetups
POPL Meetups
Social
POPL Meetups
Social
Thu 21 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
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
19:00
30
20:00
30
21:00
30
POPL Meetups
POPL Meetups
Social
POPL Meetups
Social
POPL Meetups
Social
Fri 22 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
7:00
30
POPL Meetups
POPL Meetups
Social
Sun 17 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
7:00
15
30
45
POPL Meetups
POPL Meetups
POPL Card Game
07:00 - 08:00
Mon 18 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
4:00
15
30
45
5:00
15
30
45
6:00
15
30
45
7:00
15
30
45
POPL Meetups
POPL Meetups
Panel Discussion 1: Choosing Research Topics
04:30 - 05:30
POPL Meetups
Monday Coffee Break 1
07:00 - 08:00
Tue 19 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
4:00
15
30
45
5:00
15
30
45
6:00
15
30
45
7:00
15
30
45
POPL Meetups
POPL Meetups
Panel Discussion 2: Improving Peer Review
04:30 - 05:30
POPL Meetups
Tuesday Coffee Break 1
07:00 - 08:00
Wed 20 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
4:00
15
30
45
5:00
15
30
45
6:00
15
30
45
7:00
15
30
45
POPL Meetups
POPL Meetups
Panel Discussion 3: Work/Life Balance
04:30 - 05:30
POPL Meetups
Wednesday Coffee Break
07:00 - 08:00
Thu 21 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
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
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
21:00
15
30
45
POPL Meetups
POPL Meetups
Panel Discussion 4: Finding Friends and Collaborators in Academia
04:30 - 05:30
POPL Meetups
Thursday Coffee Break
07:00 - 08:00
POPL Meetups
Games Programming Languages BoF Session
21:00 - 22:00
Fri 22 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
7:00
15
30
45
POPL Meetups
POPL Meetups
Friday Coffee Break
07:00 - 08:00
x
Thu 28 Mar 13:34