HOPE 2020
Sun 23 - Fri 28 August 2020
co-located with ICFP 2020
VenueOnline
Room nameICFP Social
Floor0
Additional informationThere is no additional information of this room available.
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Thu 20 Aug
Times are displayed in time zone: Eastern Time (US & Canada) change

21:00 - 22:00: Clowdr TrainingICFP Clowdr Training at ICFP Social
21:00 - 22:00
Other
ICFP Clowdr Training
Benjamin C. PierceUniversity of Pennsylvania

Fri 21 Aug
Times are displayed in time zone: Eastern Time (US & Canada) change

09:00 - 10:00: Clowdr TrainingICFP Clowdr Training at ICFP Social
09:00 - 10:00
Other
ICFP Clowdr Training
Benjamin C. PierceUniversity of Pennsylvania

Mon 24 Aug
Times are displayed in time zone: Eastern Time (US & Canada) change

13:30 - 14:30: W@ICFPICFP Social Events at ICFP Social

YouTube recording of event: https://www.youtube.com/watch?v=2FNX9SjAwMM

13:30 - 14:30
Social Event
ICFP Social Events
O: Mary Sheeranms@chalmers.se
21:00 - 22:00: Women in CS PanelICFP Social Events at ICFP Social
Chair(s): Cristina CifuentesOracle Labs

YouTube recording of event: https://youtu.be/uHdtXFEwVCs

21:00 - 22:00
Social Event
ICFP Social Events
P: Cristina CifuentesOracle Labs, P: Sukyoung RyuKAIST, P: Alena GriffithsRGB Assurance, P: Behnaz HassanshahiOracle Labs, Australia

Tue 25 Aug
Times are displayed in time zone: Eastern Time (US & Canada) change

01:00 - 02:00: MentoringICFP Social Events at ICFP Social
01:00 - 02:00
Talk
ICFP Social Events
Ranjit JhalaUniversity of California at San Diego, USA
04:30 - 05:30: PanelICFP Social Events at ICFP Social
04:30 - 05:30
Meeting
ICFP Social Events
Atsushi IgarashiKyoto University, Japan, Sukyoung RyuKAIST, Ilya SergeyYale-NUS College and National University of Singapore, Alex PotaninVictoria University of Wellington
13:30 - 14:30: LGBTQ MeetupICFP Social Events at ICFP Social
13:30 - 14:30
Talk
ICFP Social Events
David WalkerPrinceton University, USA, Matthew WeaverPrinceton University
16:30 - 17:30: ICFP TriviaICFP Social Events at ICFP Social
16:30 - 17:30
Social Event
ICFP Social Events
Jose CalderonGalois, Inc., Paulette KoronkevichUniversity of British Columbia

Wed 26 Aug
Times are displayed in time zone: Eastern Time (US & Canada) change

00:00 - 01:00: MentoringICFP Social Events at ICFP Social
00:00 - 01:00
Talk
ICFP Social Events
16:30 - 17:30: Industrial ReceptionICFP Social Events at ICFP Social
16:30 - 17:30
Social Event
ICFP Social Events

Thu 27 Aug
Times are displayed in time zone: Eastern Time (US & Canada) change

00:30 - 01:30: MentoringICFP Social Events at ICFP Social
00:30 - 01:30
Talk
ICFP Social Events
Matthias FelleisenPLT @ Northeastern University
09:00 - 10:00: Career PlanningICFP Social Events at ICFP Social
09:00 - 10:00
Meeting
ICFP Social Events
Neel KrishnaswamiComputer Laboratory, University of Cambridge
14:00 - 18:00: ShutdownPL 1ICFP Social Events at ICFP Social
14:00 - 18:00
Social Event
ICFP Social Events
Kenny FonerGalois, Niki CarrollGeorge Mason University, Priya SrikumarCornell University, David JustoUniversity of California, San Diego, Justin LubinUniversity of Chicago, Akash Gaonkar, Alan JeffreyMozilla Research

Thu 20 Aug
Times are displayed in time zone: Eastern Time (US & Canada) change

Fri 21 Aug
Times are displayed in time zone: Eastern Time (US & Canada) change

Mon 24 Aug
Times are displayed in time zone: Eastern Time (US & Canada) change

Room13:003014:003015:003016:003017:003018:003019:003020:003021:0030
ICFP Social

Tue 25 Aug
Times are displayed in time zone: Eastern Time (US & Canada) change

Room1:00302:00303:00304:00305:00306:00307:00308:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
ICFP Social

Wed 26 Aug
Times are displayed in time zone: Eastern Time (US & Canada) change

Room0:00301:00302:00303:00304:00305:00306:00307:00308:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
ICFP Social

Thu 27 Aug
Times are displayed in time zone: Eastern Time (US & Canada) change

Room0:00301:00302:00303:00304:00305:00306:00307:00308:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
ICFP Social

Thu 20 Aug
Times are displayed in time zone: Eastern Time (US & Canada) change

Fri 21 Aug
Times are displayed in time zone: Eastern Time (US & Canada) change

Mon 24 Aug
Times are displayed in time zone: Eastern Time (US & Canada) change

Room13:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:00153045
ICFP Social

Tue 25 Aug
Times are displayed in time zone: Eastern Time (US & Canada) change

Room1:001530452:001530453:001530454:001530455:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
ICFP Social

Wed 26 Aug
Times are displayed in time zone: Eastern Time (US & Canada) change

Room0:001530451:001530452:001530453:001530454:001530455:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
ICFP Social

Thu 27 Aug
Times are displayed in time zone: Eastern Time (US & Canada) change

Room0:001530451:001530452:001530453:001530454:001530455:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
ICFP Social