HOPE 2020
Sun 23 - Fri 28 August 2020
co-located with ICFP 2020
VenueOnline
Room nameHIW
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

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

09:00 - 12:00: Sessions 1 and 2HIW at HIW
09:00 - 09:22
Talk
HIW
Cheng ShaoTweag I/O, Georgios KarachaliasTweag I/O, Hans HoeglundTweag I/O
09:22 - 09:44
Talk
HIW
10:00 - 10:35
Talk
HIW
10:35 - 10:57
Talk
HIW
Satoshi EgiRakuten Institute of Technology, Rakuten, Inc. / The University of Tokyo, Akira KawataKyoto University, Mayuko KoriThe University of Tokyo, Hiromi OgawaUniversity of Tsukuba
10:57 - 11:19
Talk
HIW
Philipp SchusterUniversity of Tübingen, Germany, David BinderUniversity of Tübingen
11:19 - 11:31
Talk
HIW
Simon Peyton JonesMicrosoft, UK, Ben GamariWell-Typed LLP
11:31 - 12:00
Break
HIW
12:30 - 13:30: Session 3HIW at HIW
12:30 - 12:52
Talk
HIW
12:52 - 13:14
Talk
HIW
Alfredo Di NapoliWell-Typed LLP, Ranjit JhalaUniversity of California at San Diego, USA, Andres LöhWell-Typed LLP, Niki VazouIMDEA Software Institute
13:14 - 13:36
Talk
HIW
Dmitrii KovanikovStandard Chartered, Veronika RomashkinaNone
14:00 - 17:30: Sessions 4 and 5HIW at HIW
14:00 - 14:22
Talk
HIW
14:22 - 14:44
Talk
HIW
15:00 - 15:45
Talk
HIW
15:45 - 15:57
Talk
HIW
Antal Spector-ZabuskyUniversity of Pennsylvania, Joachim BreitnerDFINITY Foundation, Stephanie WeirichUniversity of Pennsylvania, Yao LiUniversity of Pennsylvania
16:00 - 16:20
Talk
HIW
Ben GamariWell-Typed LLP

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
HIW

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