Write a Blog >>
Scheme 2021
Fri 27 Aug 2021
co-located with
ICFP 2021
Toggle navigation
Attending
Venue: Virtual
Program
Complete Program
Your Program
Fri 27 Aug
Track/Call
Organization
Scheme 2021 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
Scheme 2024
Scheme 2023
Scheme 2022
Scheme 2021
Scheme 2020
Scheme 2019
Scheme 2018
Scheme 2017
Scheme 2016
Scheme 2011
Sign in
Sign up
ICFP 2021
(
series
) /
Scheme 2021 (
series
) /
Virtual
/
Room information: Social
Venue
Virtual
Room name
Social
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+09:00) Seoul
.
Use conference time zone: (GMT+09:00) Seoul
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) Manaus, Amazonas, 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, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) 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) Athens
(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
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
Mon 23 Aug
Displayed time zone:
Seoul
change
21:30 - 22:00
Ask Me Anything
ICFP Social Events
at
Social
Chair(s):
Jeehoon Kang
KAIST
21:30
30m
Live Q&A
Ask Me Anything on Rust with Ralf Jung
ICFP Social Events
Ralf Jung
MPI-SWS
Tue 24 Aug
Displayed time zone:
Seoul
change
00:00 - 01:00
PL Card Game
ICFP Social Events
at
Social
00:00
60m
Social Event
PL Card Game
ICFP Social Events
Media Attached
01:00 - 01:30
Bloomberg
ICFP Social Events
at
Social
01:00
30m
Social Event
OCaml at Bloomberg
ICFP Social Events
HongChang Wu
06:30 - 07:00
Ask Me Anything
ICFP Social Events
at
Social
Chair(s):
Michael Hicks
University of Maryland at College Park
06:30
30m
Live Q&A
Ask Me Anything on Climate Change with Benjamin Pierce
ICFP Social Events
Benjamin C. Pierce
University of Pennsylvania
21:30 - 22:00
Ask Me Anything
ICFP Social Events
at
Social
Chair(s):
Kihong Heo
KAIST
21:30
30m
Live Q&A
Ask Me Anything on Academic Move with José Pedro Magalhães
ICFP Social Events
José Pedro Magalhães
Standard Chartered Bank
23:00 - 00:00
Virtual Dinner
ICFP Social Events
at
Social
23:00
60m
Dinner
Virtual Dinner
ICFP Social Events
Wed 25 Aug
Displayed time zone:
Seoul
change
03:00 - 04:00
Virtual Lunch
ICFP Social Events
at
Social
03:00
60m
Lunch
Virtual Lunch
ICFP Social Events
06:30 - 07:00
Ask Me Anything
ICFP Social Events
at
Social
Chair(s):
Chung-Kil Hur
Seoul National University
06:30
30m
Live Q&A
Ask Me Anything on Coq with Adam Chlipala
ICFP Social Events
Adam Chlipala
Massachusetts Institute of Technology
09:30 - 10:30
PL Trivia Game
ICFP Social Events
at
Social
09:30
60m
Social Event
PL Trivia Game
ICFP Social Events
18:30 - 19:00
Ask Me Anything
ICFP Social Events
at
Social
Chair(s):
Woosuk Lee
Hanyang University
18:30
30m
Live Q&A
Ask Me Anything on V8 JS Engine with Ben Titzer and Toon Verwaest
ICFP Social Events
Ben L. Titzer
Independent Consultant
,
Toon Verwaest
Google
23:00 - 00:00
Industrial Reception
ICFP Social Events
at
Social
23:00
60m
Social Event
Industrial Reception
ICFP Social Events
Thu 26 Aug
Displayed time zone:
Seoul
change
00:00 - 01:00
Virtual Dinner
ICFP Social Events
at
Social
00:00
60m
Dinner
Virtual Dinner
ICFP Social Events
01:30 - 02:00
Bloomberg
ICFP Social Events
at
Social
01:30
30m
Social Event
Automated Modernization of Fortran Code at Bloomberg
ICFP Social Events
Jason Xu
03:00 - 04:00
Virtual Lunch
ICFP Social Events
at
Social
03:00
60m
Lunch
Virtual Lunch
ICFP Social Events
06:30 - 07:00
Ask Me Anything
ICFP Social Events
at
Social
Chair(s):
Hanneli Tavante
McGill University
06:30
30m
Live Q&A
Ask Me Anything on Mentoring with Talia Ringer
ICFP Social Events
Talia Ringer
University of Illinois at Urbana-Champaign
Fri 27 Aug
Displayed time zone:
Seoul
change
22:00 - 23:00
ShutdownPL
ICFP Social Events
at
Social
22:00
60m
Social Event
ShutdownPL
ICFP Social Events
Justin Lubin
University of California, Berkeley
,
Niki Carroll
George Mason University
,
Alan Jeffrey
Roblox
,
David Justo
Microsoft
Mon 23 Aug
Displayed time zone:
Seoul
change
Room
21:00
30
Social
ICFP Social Events
Ask Me Anything
Tue 24 Aug
Displayed time zone:
Seoul
change
Room
0:00
30
1:00
30
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
19:00
30
20:00
30
21:00
30
22:00
30
23:00
30
Social
ICFP Social Events
PL Card Game
ICFP Social Events
Bloomberg
ICFP Social Events
Ask Me Anything
ICFP Social Events
Ask Me Anything
ICFP Social Events
Virtual Dinner
Wed 25 Aug
Displayed time zone:
Seoul
change
Room
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
19:00
30
20:00
30
21:00
30
22:00
30
23:00
30
Social
ICFP Social Events
Virtual Lunch
ICFP Social Events
Ask Me Anything
ICFP Social Events
PL Trivia Game
ICFP Social Events
Ask Me Anything
ICFP Social Events
Industrial Reception
Thu 26 Aug
Displayed time zone:
Seoul
change
Room
0:00
30
1:00
30
2:00
30
3:00
30
4:00
30
5:00
30
6:00
30
Social
ICFP Social Events
Virtual Dinner
ICFP Social Events
Bloomberg
ICFP Social Events
Virtual Lunch
ICFP Social Events
Ask Me Anything
Fri 27 Aug
Displayed time zone:
Seoul
change
Room
22:00
30
Social
ICFP Social Events
ShutdownPL
Mon 23 Aug
Displayed time zone:
Seoul
change
Room
21:00
15
30
45
Social
ICFP Social Events
Ask Me Anything on Rust with Ralf Jung
21:30 - 22:00
Tue 24 Aug
Displayed time zone:
Seoul
change
Room
0:00
15
30
45
1:00
15
30
45
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
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
22:00
15
30
45
23:00
15
30
45
Social
ICFP Social Events
PL Card Game
00:00 - 01:00
ICFP Social Events
OCaml at Bloomberg
01:00 - 01:30
ICFP Social Events
Ask Me Anything on Climate Change with Benjamin Pierce
06:30 - 07:00
ICFP Social Events
Ask Me Anything on Academic Move with José Pedro Magalhães
21:30 - 22:00
ICFP Social Events
Virtual Dinner
23:00 - 00:00
Wed 25 Aug
Displayed time zone:
Seoul
change
Room
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
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
22:00
15
30
45
23:00
15
30
45
Social
ICFP Social Events
Virtual Lunch
03:00 - 04:00
ICFP Social Events
Ask Me Anything on Coq with Adam Chlipala
06:30 - 07:00
ICFP Social Events
PL Trivia Game
09:30 - 10:30
ICFP Social Events
Ask Me Anything on V8 JS Engine with Ben Titzer and Toon Verwaest
18:30 - 19:00
ICFP Social Events
Industrial Reception
23:00 - 00:00
Thu 26 Aug
Displayed time zone:
Seoul
change
Room
0:00
15
30
45
1:00
15
30
45
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
Social
ICFP Social Events
Virtual Dinner
00:00 - 01:00
ICFP Social Events
Automated Modernization of Fortran Code at Bloomberg
01:30 - 02:00
ICFP Social Events
Virtual Lunch
03:00 - 04:00
ICFP Social Events
Ask Me Anything on Mentoring with Talia Ringer
06:30 - 07:00
Fri 27 Aug
Displayed time zone:
Seoul
change
Room
22:00
15
30
45
Social
ICFP Social Events
ShutdownPL
22:00 - 23:00
x
Sun 28 Apr 23:02