ICFP 2022
Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia
Dates
Plenary
You're viewing the program in a time zone which is different from your device's time zone change time zone

Sun 11 Sep

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

12:30 - 14:00
LunchCatering & social at Foyer 2 +120h +96h
12:30
90m
Lunch
Lunch
Catering & social

14:00 - 15:30
Teaching functional programmingTutorials at E2
14:00
90m
Talk
Teaching functional programming
Tutorials
Michael Sperber Active Group GmbH
15:30 - 16:00
Coffee breakCatering & social at Foyer 2 +96h +120h
15:30
30m
Coffee break
Coffee break
Catering & social

16:00 - 17:30
Teaching functional programmingTutorials at E2
16:00
90m
Talk
Teaching functional programming
Tutorials
Michael Sperber Active Group GmbH

Thu 15 Sep

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

08:00 - 09:00
RegistrationCatering & social at Foyer 2
08:00
60m
Registration
Registration
Catering & social

09:00 - 10:30
OCaml 5 (1)Tutorials at E2
09:00
90m
Tutorial
OCaml 5 for the working programmer
Tutorials
10:30 - 11:00
Coffee breakCatering & social at Foyer 2
10:30
30m
Coffee break
Coffee break
Catering & social

11:00 - 12:30
OCaml 5 (2)Tutorials at E2
11:00
90m
Tutorial
OCaml 5 for the working programmer
Tutorials
12:30 - 14:00
12:30
90m
Lunch
Lunch
Catering & social

Fri 16 Sep

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

12:30 - 14:00
OCaml Industry LunchCatering & social at E2
12:30
90m
Social Event
OCaml Industry Lunch
Catering & social

12:30 - 14:00
12:30
90m
Lunch
Lunch
Catering & social

14:00 - 15:30
Verified Quantum ComputingTutorials at E2
14:00
90m
Tutorial
Verified Quantum Computing
Tutorials
Ben Caldwell University of Chicago, Robert Rand University of Chicago
15:30 - 16:00
Coffee breakCatering & social at Foyer 2
15:30
30m
Coffee break
Coffee break
Catering & social

16:00 - 17:30
Verified Quantum ComputingTutorials at E2
16:00
90m
Tutorial
Verified Quantum Computing
Tutorials
Ben Caldwell University of Chicago, Robert Rand University of Chicago

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