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

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

tyde-2020-papers
10:00 - 11:30: TyDe 2020 - Session 1 at TyDe
tyde-2020-papers10:00 - 10:30
Talk
Víctor López JuanChalmers University of Technology, Nils Anders DanielssonUniversity of Gothenburg, Chalmers University of Technology
Media Attached
tyde-2020-papers10:30 - 11:00
Talk
Joris CeulemansVrije Universiteit Brussel, Dominique DevrieseVrije Universiteit Brussel
File Attached
tyde-2020-papers11:00 - 11:30
Talk
Ignacio TiraboschiNone, Jan-Oliver KaiserMPI-SWS, Beta ZilianiFAMAF, UNC and CONICET
tyde-2020-papers
12:30 - 14:00: TyDe 2020 - Session 2 at TyDe
tyde-2020-papers12:30 - 13:00
Talk
Benjamin MoonSchool of Computing, University of Kent, Harley D. Eades IIIAugusta University, Dominic OrchardUniversity of Kent, UK
File Attached
tyde-2020-papers13:00 - 13:30
Talk
Guillaume AllaisUniversity of St Andrews, Edwin BradyUniversity of St. Andrews, UK, Ohad KammarUniversity of Edinburgh, Jeremy YallopUniversity of Cambridge
tyde-2020-papers13:30 - 14:00
Talk
Bruce CollieUniversity of Edinburgh, Michael O'BoyleUniversity of Edinburgh
Pre-print
tyde-2020-papers
15:30 - 17:00: TyDe 2020 - Session 3 at TyDe
tyde-2020-papers15:30 - 16:00
Talk
tyde-2020-papers16:00 - 16:30
Talk
Thomas ReynoldsUniversity of Missouri, William HarrisonOak Ridge National Laboratory, Rohit ChadhaUniversity of Missouri, Gerard AllweinU.S. Naval Research Laboratory
tyde-2020-papers16:30 - 17:00
Talk
Mark LemayBoston University, Cheng ZhangBoston University, William BlairBoston University
tyde-2020-papers
18:00 - 19:30: TyDe 2020 - TyDe Social at TyDe

Join the Zoom via Clowdr

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

Room10:003011:003012:003013:003014:003015:003016:003017:003018:003019:0030
TyDe