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

icfp-2020-tutorials
09:00 - 12:30: Tutorials - Teaching Functional Programming at Tutorials 1
icfp-2020-tutorials09:00 - 12:30
Tutorial
Michael SperberActive Group GmbH
icfp-2020-tutorials
14:00 - 17:30: Tutorials - Best Practices in Code Generation at Tutorials 1

https://www.youtube.com/watch?v=UbPpydNokyE

icfp-2020-tutorials14:00 - 17:30
Tutorial
Michal J. GajdaMigamake Pte Ltd

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

icfp-2020-tutorials
09:00 - 12:30: Tutorials - Functional Software Architecture at Tutorials 1

https://www.youtube.com/watch?v=7UvauMsBtDw&feature=youtu.be

icfp-2020-tutorials09:00 - 12:30
Tutorial
Michael SperberActive Group GmbH
icfp-2020-tutorials
14:00 - 17:30: Tutorials - Using the K Framework to Formalize Functional Languages at Tutorials 1

https://www.youtube.com/watch?v=VlQMi_N42B8&feature=youtu.be

icfp-2020-tutorials14:00 - 17:30
Tutorial
Xiaohong ChenUniversity of Illinois at Urbana-Champaign, Grigore RosuUniversity of Illinois at Urbana-Champaign

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

icfp-2020-tutorials
09:00 - 12:30: Tutorials - Library-Oriented Dynamic Analysis with Lya at Tutorials 1
icfp-2020-tutorials09:00 - 12:30
Tutorial
Nikos VasilakisMIT CSAIL, USA, Greg NtousakisTU Crete
icfp-2020-tutorials
14:00 - 17:30: Tutorials - Building Multi-Language Tools with Cubix at Tutorials 1
icfp-2020-tutorials14:00 - 17:30
Tutorial
James KoppelMassachusetts Institute of Technology, USA

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

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

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

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Tutorials 1

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Tutorials 1

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Tutorials 1