ICFP 2021
Sun 22 - Sat 28 August 2021
VenueVirtual
Room nameSocial
Room InformationNo extra information available
Program

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 AnythingSocial Events at Social
Chair(s): Jeehoon Kang KAIST
21:30
30m
Live Q&A
Ask Me Anything on Rust with Ralf Jung
Social Events
Ralf Jung MPI-SWS

Tue 24 Aug

Displayed time zone: Seoul change

00:00 - 01:00
PL Card GameSocial Events at Social
00:00
60m
Social Event
PL Card Game
Social Events

Media Attached
01:00 - 01:30
BloombergSocial Events at Social
01:00
30m
Social Event
OCaml at Bloomberg
Social Events
06:30 - 07:00
Ask Me AnythingSocial 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
Social Events
Benjamin C. Pierce University of Pennsylvania
21:30 - 22:00
Ask Me AnythingSocial 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
Social Events
José Pedro Magalhães Standard Chartered Bank
23:00 - 00:00
Virtual DinnerSocial Events at Social
23:00
60m
Dinner
Virtual Dinner
Social Events

Wed 25 Aug

Displayed time zone: Seoul change

03:00 - 04:00
Virtual LunchSocial Events at Social
03:00
60m
Lunch
Virtual Lunch
Social Events

06:30 - 07:00
Ask Me AnythingSocial 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
Social Events
Adam Chlipala Massachusetts Institute of Technology
09:30 - 10:30
PL Trivia GameSocial Events at Social
09:30
60m
Social Event
PL Trivia Game
Social Events

18:30 - 19:00
Ask Me AnythingSocial 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
Social Events
Ben L. Titzer Independent Consultant, Toon Verwaest Google
23:00 - 00:00
Industrial ReceptionSocial Events at Social
23:00
60m
Social Event
Industrial Reception
Social Events

Thu 26 Aug

Displayed time zone: Seoul change

00:00 - 01:00
Virtual DinnerSocial Events at Social
00:00
60m
Dinner
Virtual Dinner
Social Events

01:30 - 02:00
BloombergSocial Events at Social
01:30
30m
Social Event
Automated Modernization of Fortran Code at Bloomberg
Social Events
03:00 - 04:00
Virtual LunchSocial Events at Social
03:00
60m
Lunch
Virtual Lunch
Social Events

06:30 - 07:00
Ask Me AnythingSocial Events at Social
Chair(s): Hanneli Tavante McGill University
06:30
30m
Live Q&A
Ask Me Anything on Mentoring with Talia Ringer
Social Events
Talia Ringer University of Illinois at Urbana-Champaign

Fri 27 Aug

Displayed time zone: Seoul change

22:00 - 23:00
ShutdownPLSocial Events at Social
22:00
60m
Social Event
ShutdownPL
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

Tue 24 Aug

Displayed time zone: Seoul change

Room0:00301:00302:00303:00304:00305:00306:00307:00308:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:003022:003023:0030
Social

Wed 25 Aug

Displayed time zone: Seoul change

Room3:00304:00305:00306:00307:00308:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:003022:003023:0030
Social

Thu 26 Aug

Displayed time zone: Seoul change

Fri 27 Aug

Displayed time zone: Seoul change

Mon 23 Aug

Displayed time zone: Seoul change

Tue 24 Aug

Displayed time zone: Seoul change

Room0:001530451:001530452:001530453:001530454:001530455:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:0015304523:00153045
Social

Wed 25 Aug

Displayed time zone: Seoul change

Room3:001530454:001530455:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:0015304523:00153045
Social

Thu 26 Aug

Displayed time zone: Seoul change

Fri 27 Aug

Displayed time zone: Seoul change

Room22:00153045
Social