Tutorials 1 - ICFP 2020

Write a Blog >>

Thu 20 - Fri 28 August 2020

VenueOnline

Room nameTutorials 1

Room InformationNo extra information available

Program

Time Zone

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

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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

Sun 23 Aug
Displayed time zone: Eastern Time (US & Canada) change

09:00 - 12:30	Teaching Functional ProgrammingTutorials at Tutorials 1

09:00 3h30m Tutorial		Teaching Functional Programming Tutorials Michael Sperber Active Group GmbH

14:00 - 17:30	Best Practices in Code GenerationTutorials at Tutorials 1 https://www.youtube.com/watch?v=UbPpydNokyE

14:00 3h30m Tutorial		Best Practices in Code Generation Tutorials Michal J. Gajda Migamake Pte Ltd

Thu 27 Aug
Displayed time zone: Eastern Time (US & Canada) change

09:00 - 12:30	Functional Software ArchitectureTutorials at Tutorials 1 https://www.youtube.com/watch?v=7UvauMsBtDw&feature=youtu.be

09:00 3h30m Tutorial		Functional Software Architecture Tutorials Michael Sperber Active Group GmbH

14:00 - 17:30	Using the K Framework to Formalize Functional LanguagesTutorials at Tutorials 1 https://www.youtube.com/watch?v=VlQMi_N42B8&feature=youtu.be

14:00 3h30m Tutorial		Using the K Framework to Formalize Functional Languages Tutorials Xiaohong Chen University of Illinois at Urbana-Champaign, Grigore Roşu University of Illinois at Urbana-Champaign

Fri 28 Aug
Displayed time zone: Eastern Time (US & Canada) change

09:00 - 12:30	Library-Oriented Dynamic Analysis with LyaTutorials at Tutorials 1

09:00 3h30m Tutorial		Library-Oriented Dynamic Analysis with Lya Tutorials Nikos Vasilakis MIT CSAIL, USA, Grigoris Ntousakis TU Crete

14:00 - 17:30	Building Multi-Language Tools with CubixTutorials at Tutorials 1

14:00 3h30m Tutorial		Building Multi-Language Tools with Cubix Tutorials James Koppel Massachusetts Institute of Technology, USA

Sun 23 Aug
Displayed time zone: Eastern Time (US & Canada) change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Tutorials 1	Tutorials Teaching Functional Programming																																																												Tutorials Best Practices in Code Generation

Thu 27 Aug
Displayed time zone: Eastern Time (US & Canada) change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Tutorials 1	Tutorials Functional Software Architecture																																																												Tutorials Using the K Framework to Formalize Functional Languages

Fri 28 Aug
Displayed time zone: Eastern Time (US & Canada) change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Tutorials 1	Tutorials Library-Oriented Dynamic Analysis with Lya																																																												Tutorials Building Multi-Language Tools with Cubix

Sun 23 Aug
Displayed time zone: Eastern Time (US & Canada) change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Tutorials 1	ICFP Tutorials Teaching Functional Programming 09:00 - 12:30																																																												ICFP Tutorials Best Practices in Code Generation 14:00 - 17:30

Thu 27 Aug
Displayed time zone: Eastern Time (US & Canada) change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Tutorials 1	ICFP Tutorials Functional Software Architecture 09:00 - 12:30																																																												ICFP Tutorials Using the K Framework to Formalize Functional Languages 14:00 - 17:30

Fri 28 Aug
Displayed time zone: Eastern Time (US & Canada) change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Tutorials 1	ICFP Tutorials Library-Oriented Dynamic Analysis with Lya 09:00 - 12:30																																																												ICFP Tutorials Building Multi-Language Tools with Cubix 14:00 - 17:30

Room information: Tutorials 1

Sun 23 Aug
Displayed time zone: Eastern Time (US & Canada) change

Thu 27 Aug
Displayed time zone: Eastern Time (US & Canada) change

Fri 28 Aug
Displayed time zone: Eastern Time (US & Canada) change

Sun 23 Aug
Displayed time zone: Eastern Time (US & Canada) change

Tutorials

Tutorials

Thu 27 Aug
Displayed time zone: Eastern Time (US & Canada) change

Tutorials

Tutorials

Fri 28 Aug
Displayed time zone: Eastern Time (US & Canada) change

Tutorials

Tutorials

Sun 23 Aug
Displayed time zone: Eastern Time (US & Canada) change

Thu 27 Aug
Displayed time zone: Eastern Time (US & Canada) change

Fri 28 Aug
Displayed time zone: Eastern Time (US & Canada) change

Tracks

Workshops

Co-hosted Symposia

Room information: Tutorials 1

Program Display Configuration

Sun 23 AugDisplayed time zone: Eastern Time (US & Canada) change

Thu 27 AugDisplayed time zone: Eastern Time (US & Canada) change

Fri 28 AugDisplayed time zone: Eastern Time (US & Canada) change

Sun 23 AugDisplayed time zone: Eastern Time (US & Canada) change

Tutorials

Tutorials

Thu 27 AugDisplayed time zone: Eastern Time (US & Canada) change

Tutorials

Tutorials

Fri 28 AugDisplayed time zone: Eastern Time (US & Canada) change

Tutorials

Tutorials

Sun 23 AugDisplayed time zone: Eastern Time (US & Canada) change

Thu 27 AugDisplayed time zone: Eastern Time (US & Canada) change

Fri 28 AugDisplayed time zone: Eastern Time (US & Canada) change

Sun 23 Aug
Displayed time zone: Eastern Time (US & Canada) change

Thu 27 Aug
Displayed time zone: Eastern Time (US & Canada) change

Fri 28 Aug
Displayed time zone: Eastern Time (US & Canada) change

Sun 23 Aug
Displayed time zone: Eastern Time (US & Canada) change

Thu 27 Aug
Displayed time zone: Eastern Time (US & Canada) change

Fri 28 Aug
Displayed time zone: Eastern Time (US & Canada) change

Sun 23 Aug
Displayed time zone: Eastern Time (US & Canada) change

Thu 27 Aug
Displayed time zone: Eastern Time (US & Canada) change

Fri 28 Aug
Displayed time zone: Eastern Time (US & Canada) change