Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
ICFP 2020 (series) / Online /

Room information: ICFP Asia 4

VenueOnline
Room nameICFP Asia 4
Floor0
Additional informationThere is no additional information of this room available.

Display in different time zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).
Apply
Close
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

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

icfp-2020-papers
02:30 - 04:30: ICFP Program - Asia 4 at ICFP Asia 4
Chair(s): Stephanie WeirichUniversity of Pennsylvania

Public livestreams: YouTube, Bilibili (China)

icfp-2020-papers02:30 - 02:45
Talk
Lionel ParreauxEPFL
DOI Pre-print Media Attached
icfp-2020-papers02:45 - 03:00
Talk
Tristan KnothUniversity of California at San Diego, USA, Di WangCarnegie Mellon University, Adam ReynoldsUniversity of California, San Diego, Nadia PolikarpovaUniversity of California, San Diego, Jan HoffmannCarnegie Mellon University
DOI
icfp-2020-papers03:00 - 03:15
Talk
Glen MévelInria, Université Paris-Saclay, CNRS, Laboratoire de recherche en informatique, Jacques-Henri JourdanUniversersité Paris Saclay, CNRS, LRI, François PottierInria, France
DOI
icfp-2020-papers03:15 - 03:30
Talk
Matthew WeidnerCarnegie Mellon University, Christopher MeiklejohnCarnegie Mellon University, Heather MillerCarnegie Mellon University
DOI
icfp-2020-papers03:30 - 03:45
Talk
Alejandro Serrano47 Degrees, Spain, Jurriaan HageUtrecht University, Netherlands, Simon Peyton JonesMicrosoft, UK, Dimitrios VytiniotisDeepMind
DOI Pre-print
icfp-2020-papers03:45 - 04:00
Talk
Andreas AbelGothenburg University, Jean-Philippe BernardyUniversity of Gothenburg, Sweden
DOI
icfp-2020-papers04:00 - 04:15
Talk
Sebastian GrafKarlsruhe Institute of Technology, Simon Peyton JonesMicrosoft, UK, Ryan ScottGalois, Inc.
Link to publication DOI
icfp-2020-papers04:15 - 04:30
Talk
Taro SekiyamaNational Institute of Informatics, Takeshi TsukadaChiba University, Japan, Atsushi IgarashiKyoto University, Japan
DOI

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

Room2:00303:00304:0030
ICFP Asia 4

ICFP Program

Asia 4

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

Room2:001530453:001530454:00153045
ICFP Asia 4
02:30 - 02:45
02:45 - 03:00
03:00 - 03:15
03:15 - 03:30
03:30 - 03:45
03:45 - 04:00
04:00 - 04:15
04:15 - 04:30