Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
VenueOnline
Room nameICFP Asia 6
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

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

icfp-2020-papers
02:30 - 04:25: ICFP Program - Asia 6 at ICFP Asia 6
Chair(s): Sukyoung RyuKAIST

Public livestreams: YouTube, Bilibili (China)

icfp-2020-papers02:30 - 02:45
Talk
Philipp SchusterUniversity of Tübingen, Germany, Jonathan Immanuel BrachthäuserUniversity of Tübingen, Germany, Klaus OstermannUniversity of Tübingen, Germany
DOI
icfp-2020-papers02:45 - 03:00
Talk
Paolo G. GiarrussoBedRock Systems, Leo StefanescoIRIF, University Paris Diderot & CNRS, Amin TimanyAarhus University, Lars BirkedalAarhus University, Robbert KrebbersDelft University of Technology
DOI
icfp-2020-papers03:00 - 03:15
Talk
Matúš TejiščákUniversity of St Andrews
DOI
icfp-2020-papers03:15 - 03:30
Talk
Di WangCarnegie Mellon University, David M. KahnCarnegie Mellon University, Jan HoffmannCarnegie Mellon University
DOI
icfp-2020-papers03:30 - 03:45
Talk
Justin LubinUniversity of Chicago, Nick CollinsUniversity of Chicago, Cyrus OmarUniversity of Michigan, Ravi ChughUniversity of Chicago
DOI
icfp-2020-papers03:45 - 04:00
Talk
András KovácsEötvös Loránd University
DOI Pre-print
icfp-2020-papers04:00 - 04:15
Talk
Paul DownenUniversity of Oregon, USA, Zena M. AriolaUniversity of Oregon, USA, Simon Peyton JonesMicrosoft, UK, Richard A. EisenbergTweag I/O
DOI
icfp-2020-papers04:15 - 04:25
Day closing
Stephanie WeirichUniversity of Pennsylvania

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

Room2:00303:00304:0030
ICFP Asia 6