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

Mon 24 Aug

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

10:30 - 11:30
10:30
60m
Meeting
How to Use Clowdr at ICFP
Social Events
Benjamin C. Pierce University of Pennsylvania
16:30 - 17:30
Untitled PL Card GameSocial Events at ICFP Social 2
16:30
60m
Social Event
Untitled PL Card Game
Social Events
Jasper Van der Jeugt Fugue, Niki Vazou IMDEA Software Institute, Leonidas Lampropoulos University of Maryland, College Park
Media Attached
22:00 - 23:00
22:00
60m
Meeting
How to Use Clowdr at ICFP
Social Events
Benjamin C. Pierce University of Pennsylvania

Tue 25 Aug

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

10:30 - 11:30
10:30
30m
Meeting
SIGPLAN CARES
Social Events
David Walker Princeton University, USA, Simon Peyton Jones Microsoft, UK, Alexandra Silva University College London, Shriram Krishnamurthi Brown University, United States
21:00 - 22:00
21:00
30m
Meeting
SIGPLAN CARES
Social Events
David Walker Princeton University, USA, Simon Peyton Jones Microsoft, UK, Alexandra Silva University College London, Shriram Krishnamurthi Brown University, United States

Wed 26 Aug

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

04:30 - 05:30
04:30
60m
Talk
Some Proverbs in Type Theory
Social Events
Neel Krishnaswami Computer Laboratory, University of Cambridge
13:30 - 14:30
Virtualization Feedback 1Social Events at ICFP Social 2
13:30
60m
Meeting
Virtualization Feedback
Social Events
Benjamin C. Pierce University of Pennsylvania, Jonathan Bell Northeastern University, Crista Lopes University of California, Irvine
21:00 - 22:00
Virtualization Feedback 2Social Events at ICFP Social 2
21:00
60m
Meeting
Virtualization Feedback
Social Events
Benjamin C. Pierce University of Pennsylvania, Jonathan Bell Northeastern University, Crista Lopes University of California, Irvine

Mon 24 Aug

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

Room10:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:003022:0030
ICFP Social 2

Tue 25 Aug

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

Room10:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:0030
ICFP Social 2

Wed 26 Aug

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

Room4:00305:00306:00307:00308:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:0030
ICFP Social 2

Mon 24 Aug

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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:00153045
ICFP Social 2

Tue 25 Aug

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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:00153045
ICFP Social 2

Wed 26 Aug

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

Room4:001530455:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:00153045
ICFP Social 2