Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020

ICFP is pleased to present ten tutorials: three hour educational sessions scheduled before and after the main conference. Please see the complete list in the conference program.

Some tutorials have made their videos available. Please check them out if you missed them at ICFP!

Dates
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
09:00 - 12:30
Audio, Video & Web Live Coding in HaskellTutorials at Tutorials 2
09:00
3h30m
Tutorial
Audio, Video & Web Live Coding in Haskell
Tutorials
Manuel Bärenz sonnen eServices GmbH
Pre-print
14:00 - 17:30
14:00
3h30m
Tutorial
Best Practices in Code Generation
Tutorials
Michal J. Gajda Migamake Pte Ltd
14:00 - 17:30
Designing Hardware Systems and Accelerators with Open-Source Bluespec HaskellTutorials at Tutorials 2

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

14:00
3h30m
Tutorial
Designing Hardware Systems and Accelerators with Open-Source Bluespec Haskell
Tutorials
Rishiyur Nikhil Bluespec, Inc.

Thu 27 Aug

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

09:00 - 12:30
09:00
3h30m
Tutorial
Functional Software Architecture
Tutorials
Michael Sperber Active Group GmbH
09:00 - 12:30
Integrating User Centered Methods into Programming Language DesignTutorials at Tutorials 2

https://www.youtube.com/watch?v=-m34gNVVpFQ

09:00
3h30m
Tutorial
Integrating User-Centered Methods into Programming Language Design
Tutorials
Michael Coblenz Carnegie Mellon University, Jonathan Aldrich Carnegie Mellon University
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

Call for Tutorials and Social events

Tutorials: Proposals are invited for tutorials, lasting approximately 3 hours each, to be presented during ICFP and its co-located workshops and other events. These tutorials are the successor to the CUFP tutorials from previous years, but we also welcome tutorials whose primary audience is researchers rather than practitioners. Tutorials may focus either on a concrete technology or on a theoretical or mathematical tool. Ideally, tutorials will have a concrete result, such as “Learn to do X with Y” rather than “Learn language Y”.

Social Events: To increase social interaction on the first ICFP virtual conference, this year we invite proposals for social events on topics of broader interest to the PL community. Such events can be panels and discussions (in the lines of the successful #ShutDownPL event), focused discussions (e.g., problem identifications, retrospective analysis, technical demos), social activities (e.g., treasure hunt, bingo, problem solving, artistic challenges). The typical duration of such events ranges from 30 minutes to one hour, but can be of any length.

Tutorials may occur before or after ICFP, co-located with the associated workshops, on August 23 or August 27-28. Social events may be scheduled throughout the week.


Prospective organizers of tutorials are invited to submit a completed proposal form in plain text format to the ICFP 2020 workshop co-chairs (Jennifer Hackett and Leonidas Lampropoulos), via email to

         icfp-workshops-2020@googlegroups.com

by July 17th, 2020. Please note that this is a firm deadline.

Organizers will be notified if their event proposal is accepted by July 22nd, 2020.

The proposal forms are available at:

Tutorials: http://www.icfpconference.org/icfp2020-files/icfp20-tutorials-form.txt

Social events: http://www.icfpconference.org/icfp2020-files/icfp20-panel-form.txt

Further information

Any queries should be addressed to the tutorial co-chairs ( Jennifer Hackett and Leonidas Lampropoulos), via email to icfp-workshops-2020@googlegroups.com