Write a Blog >>
FARM 2020
Fri 28 Aug 2020
co-located with ICFP 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
Times are displayed in time zone: Eastern Time (US & Canada) change

10:30 - 11:30
10:30
60m
Meeting
How to Use Clowdr at ICFP
ICFP Social Events
Benjamin C. PierceUniversity of Pennsylvania
16:30 - 17:30
Untitled PL Card GameICFP Social Events at ICFP Social 2
16:30
60m
Social Event
Untitled PL Card Game
ICFP Social Events
Jasper Van der JeugtFugue, Niki VazouIMDEA Software Institute, Leonidas LampropoulosUniversity of Maryland, College Park
Media Attached
22:00 - 23:00
22:00
60m
Meeting
How to Use Clowdr at ICFP
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
10:30
30m
Meeting
SIGPLAN CARES
ICFP Social Events
David WalkerPrinceton University, USA, Simon Peyton JonesMicrosoft, UK, Alexandra SilvaUniversity College London, Shriram KrishnamurthiBrown University, United States
21:00 - 22:00
21:00
30m
Meeting
SIGPLAN CARES
ICFP 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
04:30
60m
Talk
Some Proverbs in Type Theory
ICFP Social Events
Neel KrishnaswamiComputer Laboratory, University of Cambridge
13:30 - 14:30
Virtualization Feedback 1ICFP Social Events at ICFP Social 2
13:30
60m
Meeting
Virtualization Feedback
ICFP Social Events
Benjamin C. PierceUniversity of Pennsylvania, Jonathan BellNortheastern University, Crista LopesUniversity of California, Irvine
21:00 - 22:00
Virtualization Feedback 2ICFP Social Events at ICFP Social 2
21:00
60m
Meeting
Virtualization Feedback
ICFP 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