TutorialsICFP/SPLASH 2025
Accepted Tutorials
| Title | |
|---|---|
| A guided tour through Oxidized OCaml ICFP/SPLASH Tutorials | |
| Compiling Quantum Circuits ICFP/SPLASH Tutorials | |
| Concurrent Algorithms under the hood of Kotlin Coroutines ICFP/SPLASH Tutorials | |
| How to secure a distributed database such as OpenRiak with open-source tools ICFP/SPLASH Tutorials | |
| Testing concurrent code on JVM with Lincheck ICFP/SPLASH Tutorials | |
| Tutorial: End-to-End Compiler Infrastructure for Emerging Tensor Accelerators ICFP/SPLASH Tutorials | |
| Tutorial: Metaprogramming in Rhombus ICFP/SPLASH Tutorials | |
| WebAssembly Research Tools Tutorial ICFP/SPLASH Tutorials |
Call for Tutorials
ICFP and SPLASH 2025 Conference invite workshop and co-located event proposals to be held in Singapore from Sunday, October 12 to Saturday, October 18, 2025. This joint event will create a forum for researchers, developers, and practitioners to present the latest work in software development, programming languages, functional programming, and emerging new ideas in computing.
About ICFP/SPLASH Workshops
ICFP and SPLASH provide complementary yet distinct tracks, bringing together different aspects of programming research. Workshops will occur throughout the conference, with opportunities for interdisciplinary collaboration. We welcome proposals for events that facilitate discussions, presentations, hands-on activities, and other engaging formats to foster the exchange of new ideas and community building.
Proposals are invited for: - Workshops (focusing on presentations, discussions, or collaborative work) - Retreats (focused platforms for in-depth exploration of particular topics) - Symposia (more formal gatherings on specific themes) - Hands-on Sessions (including practical work and focus groups)
These events will be less formal and more interactive than the main conference sessions, providing an ideal venue for emerging ideas, early research presentations, and collaborative exploration.
Important Dates
- Deadline for Tutorial Submissions: May 8, 2025
- Notification of Acceptance: June 20, 2025
Submission Details
Selection Committee
Workshop proposals will be evaluated by a joint committee comprising members from both ICFP and SPLASH organizing teams, in collaboration with the SIGPLAN executive committee.
Contact Information
For inquiries, please contact the workshop co-chairs: - Ben Greenman: blg@cs.utah.edu - Chandrakana Nandi: chandra@certora.com - Jeff Huang: jeff@cse.tamu.edu - Sasa Misailovic: misailo@illinois.edu
We look forward to your proposals and to creating a vibrant and engaging program at ICFP/SPLASH 2025!