Write a Blog >>
TyDe 2020
Sun 23 Aug 2020
co-located with ICFP 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 ICFPICFP Social Events at ICFP Social 2
10:30 - 11:30
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 - 17:30
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: How To ICFPICFP Social Events at ICFP Social 2
22:00 - 23:00
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: CARESICFP Social Events at ICFP Social 2
10:30 - 11:00
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: CARESICFP Social Events at ICFP Social 2
21:00 - 21:30
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: ProverbsICFP Social Events at ICFP Social 2
04:30 - 05:30
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 - 14:30
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 - 22:00
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