Write a Blog >>
HOPL IV
Sun 20 - Tue 22 June 2021
co-located with PLDI 2021
VenueOnline
Room nameSocial
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

Wed 23 Jun

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

08:30 - 09:00
PL TeaPLDI Social at Social +12h
08:30
30m
Social Event
PLTea
PLDI Social

11:30 - 12:30
PL TeaPLDI Social at Social +12h
11:30
60m
Social Event
PLTea
PLDI Social

15:00 - 16:00
Opening ReceptionPLDI Social at Social +12h
15:00
60m
Social Event
Opening Reception
PLDI Social

20:30 - 21:00
20:30
30m
Social Event
PLTea
PLDI Social

23:30 - 00:30
23:30
60m
Social Event
PLTea
PLDI Social

Thu 24 Jun

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

03:00 - 04:00
Opening ReceptionPLDI Social at Social
03:00
60m
Social Event
Opening Reception
PLDI Social

08:30 - 09:00
PL TeaPLDI Social at Social +12h
08:30
30m
Social Event
PLTea
PLDI Social

11:30 - 12:30
PL TeaPLDI Social at Social +12h
11:30
60m
Social Event
PLTea
PLDI Social

20:30 - 21:00
20:30
30m
Social Event
PLTea
PLDI Social

23:30 - 00:30
23:30
60m
Social Event
PLTea
PLDI Social

Fri 25 Jun

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

08:30 - 09:00
PL TeaPLDI Social at Social +12h
08:30
30m
Social Event
PLTea
PLDI Social

11:30 - 12:30
PL TeaPLDI Social at Social +12h
11:30
60m
Social Event
PLTea
PLDI Social

20:30 - 21:00
20:30
30m
Social Event
PLTea
PLDI Social

23:30 - 00:30
23:30
60m
Social Event
PLTea
PLDI Social

Wed 23 Jun

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

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:003022:003023:00300:0030
Social

Thu 24 Jun

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

Room3:00304:00305:00306:00307:00308:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:003022:003023:00300:0030
Social

Fri 25 Jun

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

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:003022:003023:00300:0030
Social

Wed 23 Jun

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

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:0015304523:001530450:00153045
Social
PLDI Social
PLTea
08:30 - 09:00
PLDI Social
PLTea
11:30 - 12:30
PLDI Social
PLTea
20:30 - 21:00
PLDI Social
PLTea
23:30 - 00:30

Thu 24 Jun

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

Room3:001530454:001530455:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:0015304523:001530450:00153045
Social
PLDI Social
PLTea
08:30 - 09:00
PLDI Social
PLTea
11:30 - 12:30
PLDI Social
PLTea
20:30 - 21:00
PLDI Social
PLTea
23:30 - 00:30

Fri 25 Jun

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

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:0015304523:001530450:00153045
Social
PLDI Social
PLTea
08:30 - 09:00
PLDI Social
PLTea
11:30 - 12:30
PLDI Social
PLTea
20:30 - 21:00
PLDI Social
PLTea
23:30 - 00:30