Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
VenueOnline
Room nameICFP Social
Floor0
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

Conference Day
Thu 20 Aug

Displayed time zone: Eastern Time (US & Canada) change

21:00 - 22:00
Clowdr TrainingClowdr Training at ICFP Social
21:00
60m
Other
Clowdr Training Sessions
Clowdr Training
Benjamin C. PierceUniversity of Pennsylvania

Conference Day
Fri 21 Aug

Displayed time zone: Eastern Time (US & Canada) change

09:00 - 10:00
Clowdr TrainingClowdr Training at ICFP Social
09:00
60m
Other
Clowdr Training Sessions
Clowdr Training
Benjamin C. PierceUniversity of Pennsylvania

Conference Day
Mon 24 Aug

Displayed time zone: Eastern Time (US & Canada) change

13:30 - 14:30
13:30
60m
Social Event
W@ICFP
Social Events
21:00 - 22:00
Women in CS PanelSocial Events at ICFP Social
Chair(s): Cristina CifuentesOracle Labs

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

21:00
60m
Social Event
Women in CS Panel
Social Events
P: Cristina CifuentesOracle Labs, P: Sukyoung RyuKAIST, P: Alena GriffithsRGB Assurance, P: Behnaz HassanshahiOracle Labs, Australia

Conference Day
Tue 25 Aug

Displayed time zone: Eastern Time (US & Canada) change

01:00 - 02:00
01:00
60m
Talk
Mentoring with Ranjit Jhala
Social Events
Ranjit JhalaUniversity of California at San Diego, USA
04:30 - 05:30
04:30
60m
Meeting
Online Lecture Panel
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 MeetupSocial Events at ICFP Social
13:30
60m
Talk
LGBTQ Meetup
Social Events
David WalkerPrinceton University, USA, Matthew WeaverPrinceton University
16:30 - 17:30
16:30
60m
Social Event
ICFP Triva
Social Events
Jose CalderonGalois, Inc., Paulette KoronkevichUniversity of British Columbia

Conference Day
Wed 26 Aug

Displayed time zone: Eastern Time (US & Canada) change

00:00 - 01:00
00:00
60m
Talk
Mentoring with Guy Steele
Social Events
16:30 - 17:30
Industrial ReceptionSocial Events at ICFP Social
16:30
60m
Social Event
Industrial Reception
Social Events

Conference Day
Thu 27 Aug

Displayed time zone: Eastern Time (US & Canada) change

00:30 - 01:30
00:30
60m
Talk
Mentoring with Matthias Felleisen
Social Events
Matthias FelleisenPLT @ Northeastern University
09:00 - 10:00
Career PlanningSocial Events at ICFP Social
09:00
60m
Meeting
Academic Career Planning During a Crisis
Social Events
Neel KrishnaswamiComputer Laboratory, University of Cambridge
14:00 - 18:00
ShutdownPL 1Social Events at ICFP Social
14:00
4h
Social Event
ShutdownPL: Keynote and Getting Started With Anti-racist Action
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

Conference Day
Thu 20 Aug

Displayed time zone: Eastern Time (US & Canada) change

Conference Day
Fri 21 Aug

Displayed time zone: Eastern Time (US & Canada) change

Conference Day
Mon 24 Aug

Displayed time zone: Eastern Time (US & Canada) change

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

Conference Day
Tue 25 Aug

Displayed 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

Conference Day
Wed 26 Aug

Displayed 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

Conference Day
Thu 27 Aug

Displayed 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

Conference Day
Thu 20 Aug

Displayed time zone: Eastern Time (US & Canada) change

Conference Day
Fri 21 Aug

Displayed time zone: Eastern Time (US & Canada) change

Conference Day
Mon 24 Aug

Displayed time zone: Eastern Time (US & Canada) change

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

Conference Day
Tue 25 Aug

Displayed 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

Conference Day
Wed 26 Aug

Displayed 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

Conference Day
Thu 27 Aug

Displayed 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