Fri 6 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | |||
09:00 90mTutorial | Aeneas, a framework to verify safe Rust programs ICFP Tutorials Son Ho Inria | ||
10:30 - 11:00 | |||
11:00 - 12:30 | |||
11:00 90mTutorial | Aeneas, a framework to verify safe Rust programs ICFP Tutorials Son Ho Inria | ||
12:30 - 14:00 | |||
14:00 - 15:30 | Tutorial: Aeneas, a framework to verify safe Rust programs (repetition of part 1)ICFP Tutorials at Meeting 5 | ||
14:00 90mTutorial | Aeneas, a framework to verify safe Rust programs ICFP Tutorials Son Ho Inria | ||
15:30 - 16:00 | |||
16:00 - 17:30 | Tutorial: Aeneas, a framework to verify safe Rust programs (repetition of part 2)ICFP Tutorials at Meeting 5 | ||
16:00 90mTutorial | Aeneas, a framework to verify safe Rust programs ICFP Tutorials Son Ho Inria | ||
Sat 7 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | |||
09:00 90mTutorial | Teaching functional programming ICFP Tutorials Michael Sperber Active Group GmbH | ||
10:30 - 11:00 | |||
11:00 - 12:30 | |||
11:00 90mTutorial | Teaching functional programming ICFP Tutorials Michael Sperber Active Group GmbH | ||
12:30 - 14:00 | |||
14:00 - 15:30 | |||
14:00 90mTutorial | Teaching functional programming ICFP Tutorials Michael Sperber Active Group GmbH | ||
15:30 - 16:00 | |||
16:00 - 17:30 | |||
16:00 90mTutorial | Teaching functional programming ICFP Tutorials Michael Sperber Active Group GmbH | ||
Accepted Tutorials
| Title | |
|---|---|
| Aeneas, a framework to verify safe Rust programs ICFP Tutorials | |
| Teaching functional programming ICFP Tutorials |
Call for Tutorials
Proposals are invited for tutorials, lasting approximately 3 hours each, to be presented during ICFP and its co-located workshops and other events. The tutorials may target an audience who is interested in commercial uses of functional programming, 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”.
Just like last year, following the success of the #ShutDownPL event, we are also inviting proposals for panels and discussions on topics of broader interest to the PL community.
Tutorials, panels, and discussions may occur before or after ICFP, co-located with the associated workshops, on September 2 or September 6-7.
Submission details
- Deadline for submission: May 24, 2024
- Notification of acceptance: May 27, 2024
Prospective organizers of tutorials are invited to submit a completed tutorial proposal form in plain text format to the ICFP 2024 workshop co-chairs (Yannick Forster and Chandrakana Nandi), via email to
yannick.forster@inria.fr and chandra@certora.com
by May 24, 2024. Please note that this is a firm deadline.
The proposal form is available at:
- http://www.icfpconference.org/icfp2024-files/icfp24-panel-form.txt
- http://www.icfpconference.org/icfp2024-files/icfp24-tutorials-form.txt
Selection committee
The proposals will be evaluated by a committee comprising the following members of the ICFP 2024 organizing committee, together with the members of the SIGPLAN executive committee.
- Workshop Co-Chair: Yannick Forster (Inria Nantes)
- Workshop Co-Chair: Chandrakana Nandi (Certora Inc.)
- General Chair: Marco Gaboardi (Boston University)
- Program Chair: Brigitte Pientka (McGill University)
Further information
Any queries should be addressed to the workshop co-chairs (Yannick Forster and Chandrakana Nandi), via email to yannick.forster@inria.fr and chandra@certora.com.
