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

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

10:30 - 11:30: How to ICFPSocial Events at ICFP Social 2
10:30 - 11:30
Meeting
How to Use Clowdr at ICFP
Social Events
Benjamin C. PierceUniversity of Pennsylvania
16:30 - 17:30: Untitled PL Card GameSocial Events at ICFP Social 2
16:30 - 17:30
Social Event
Untitled PL Card Game
Social Events
Jasper Van der JeugtFugue, Niki VazouIMDEA Software Institute, Leonidas LampropoulosUniversity of Maryland, College Park
Media Attached
22:00 - 23:00: How To ICFPSocial Events at ICFP Social 2
22:00 - 23:00
Meeting
How to Use Clowdr at ICFP
Social Events
Benjamin C. PierceUniversity of Pennsylvania

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

10:30 - 11:30: CARESSocial Events at ICFP Social 2
10:30 - 11:00
Meeting
SIGPLAN CARES
Social Events
David WalkerPrinceton University, USA, Simon Peyton JonesMicrosoft, UK, Alexandra SilvaUniversity College London, Shriram KrishnamurthiBrown University, United States
21:00 - 22:00: CARESSocial Events at ICFP Social 2
21:00 - 21:30
Meeting
SIGPLAN CARES
Social Events
David WalkerPrinceton University, USA, Simon Peyton JonesMicrosoft, UK, Alexandra SilvaUniversity College London, Shriram KrishnamurthiBrown University, United States

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

04:30 - 05:30: ProverbsSocial Events at ICFP Social 2
04:30 - 05:30
Talk
Some Proverbs in Type Theory
Social Events
Neel KrishnaswamiComputer Laboratory, University of Cambridge
13:30 - 14:30: Virtualization Feedback 1Social Events at ICFP Social 2
13:30 - 14:30
Meeting
Virtualization Feedback
Social Events
Benjamin C. PierceUniversity of Pennsylvania, Jonathan BellNortheastern University, Crista LopesUniversity of California, Irvine
21:00 - 22:00: Virtualization Feedback 2Social Events at ICFP Social 2
21:00 - 22:00
Meeting
Virtualization Feedback
Social Events
Benjamin C. PierceUniversity of Pennsylvania, Jonathan BellNortheastern University, Crista LopesUniversity of California, Irvine

Mon 24 Aug
Times are displayed in 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
Times are displayed in 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
Times are displayed in 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
Times are displayed in 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
Times are displayed in 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
Times are displayed in 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