Sun 11 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering & social |
14:00 - 15:30 | |||
14:00 90mTalk | Teaching functional programming Tutorials Michael Sperber Active Group GmbH |
15:30 - 16:00 | |||
15:30 30mCoffee break | Coffee break Catering & social |
16:00 - 17:30 | |||
16:00 90mTalk | Teaching functional programming Tutorials Michael Sperber Active Group GmbH |
Thu 15 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change
08:00 - 09:00 | |||
08:00 60mRegistration | Registration Catering & social |
09:00 - 10:30 | |||
09:00 90mTutorial | OCaml 5 for the working programmer Tutorials |
10:30 - 11:00 | |||
10:30 30mCoffee break | Coffee break Catering & social |
11:00 - 12:30 | |||
11:00 90mTutorial | OCaml 5 for the working programmer Tutorials |
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering & social |
Fri 16 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change
12:30 - 14:00 | |||
12:30 90mSocial Event | OCaml Industry Lunch Catering & social |
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering & social |
14:00 - 15:30 | |||
14:00 90mTutorial | Verified Quantum Computing Tutorials |
15:30 - 16:00 | |||
15:30 30mCoffee break | Coffee break Catering & social |
16:00 - 17:30 | |||
16:00 90mTutorial | Verified Quantum Computing Tutorials |
Accepted Papers
Title | |
---|---|
OCaml 5 for the working programmer Tutorials | |
Teaching functional programming Tutorials | |
Verified Quantum Computing Tutorials |
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