ICFP 2021
Sun 22 - Sat 28 August 2021
Dates
You're viewing the program in a time zone which is different from your device's time zone change time zone

Sun 22 Aug

Displayed time zone: Seoul change

18:00 - 19:30
Deductive Verification of OCaml Programs with Cameleer 1Tutorials at Tutorials
18:00
90m
Tutorial
Deductive Verification of OCaml Programs in Cameleer
Tutorials
Mário Pereira LRI - Université Paris-Sud
20:00 - 21:30
Deductive Verification of OCaml Programs with Cameleer 2Tutorials at Tutorials
20:00
90m
Tutorial
Deductive Verification of OCaml Programs in Cameleer
Tutorials
Mário Pereira LRI - Université Paris-Sud
23:30 - 01:00
Teaching Functional Programming 1Tutorials at Tutorials
23:30
90m
Tutorial
Teaching Functional Programming
Tutorials
Michael Sperber Active Group GmbH

Mon 23 Aug

Displayed time zone: Seoul change

01:30 - 03:00
Teaching Functional Programming 2Tutorials at Tutorials
01:30
90m
Tutorial
Teaching Functional Programming
Tutorials
Michael Sperber Active Group GmbH

Thu 26 Aug

Displayed time zone: Seoul change

23:30 - 01:00
Interaction Laws of Monads and Comonads 1Tutorials at Tutorials
23:30
90m
Tutorial
Interaction laws of monads and comonads
Tutorials
Dylan McDermott Reykjavik University, Exequiel Rivas , Tarmo Uustalu Reykjavik University
Pre-print

Fri 27 Aug

Displayed time zone: Seoul change

01:30 - 03:00
Interaction Laws of Monads and Comonads 2Tutorials at Tutorials
01:30
90m
Tutorial
Interaction laws of monads and comonads
Tutorials
Dylan McDermott Reykjavik University, Exequiel Rivas , Tarmo Uustalu Reykjavik University
Pre-print
01:30 - 03:00
Programming with Effect Handlers and FBIP in Koka 1Tutorials at Tutorials
01:30
90m
Tutorial
Programming with Effect Handlers and FBIP in Koka
Tutorials
Daan Leijen Microsoft Research, Ningning Xie University of Hong Kong
03:30 - 05:00
Programming with Effect Handlers and FBIP in Koka 2Tutorials at Tutorials
03:30
90m
Tutorial
Programming with Effect Handlers and FBIP in Koka
Tutorials
Daan Leijen Microsoft Research, Ningning Xie University of Hong Kong
23:30 - 01:00
Functional Software Architecture 1Tutorials at Tutorials
23:30
90m
Tutorial
Functional Software Architecture
Tutorials
Michael Sperber Active Group GmbH

Sat 28 Aug

Displayed time zone: Seoul change

01:30 - 03:00
Functional Software Architecture 2Tutorials at Tutorials
01:30
90m
Tutorial
Functional Software Architecture
Tutorials
Michael Sperber Active Group GmbH

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 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 last year), 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 22 or August 26-27. 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 2021 workshop co-chairs (Leonidas Lampropoulos and Zoe Paraskevopoulou), via email to

     icfp-workshops-2021@googlegroups.com

by June 28th, 2021.

The proposal forms are available at:

Tutorials: http://www.icfpconference.org/icfp2021-files/icfp21-tutorials-form.txt

Social events: http://www.icfpconference.org/icfp2021-files/icfp21-panel-form.txt Further information

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