[Caml-list] ICFP 2025 (Co-Located with SPLASH!): Call for Participation

[ICFP Publicity <icfp.publicity@googlemail.com>]

[-- Attachment #1: Type: text/plain, Size: 4787 bytes --]

==================================================
Call for Participation

The 30th ACM SIGPLAN International Conference
on Functional Programming (ICFP 2025) and
affiliated events

*** This year, co-located with SPLASH for a ***
*** joint ICFP/SPLASH Conference ***

https://icfp25.sigplan.org
Singapore; Oct 12-18, 2025

*** Register by Aug 31, 2025 for a discount! ***
==================================================

ICFP is a celebration of the art and science of
functional programming, providing a forum for
researchers and developers to engage on a variety
of topics, from foundations to features, and from
abstraction to application.

This year, for the first time in history, ICFP will
be co-located with SPLASH and its satellite events
as a part of the joint ICFP/SPLASH 2025 conference.

You are invited to participate in a full week of
events dedicated to the art and science of programming,
featuring both the ICFP and SPLASH main conferences
as well as numerous related events.

* ICFP Accepted Papers:
https://icfp25.sigplan.org/track/icfp-2025-papers#event-overview

* Registration:
https://icfp25.sigplan.org/attending/registration
*The early-bird deadline is August 31, 2025*
(Additionally, there is a full week discount
if you register for 7 days!)

* Venue (Sunday Workshops only): NUS School of Computing
https://icfp25.sigplan.org/venue/splash-2025-venue1

* Venue (Main Conference): Marina Bay Sands Convention Centre
https://icfp25.sigplan.org/venue/splash-2025-venue


Full list of events:

October 12
Tutorials
-
https://conf.researchr.org/track/icfp-splash-2025/icfp-splash-2025-tutorials
PLMW
- https://conf.researchr.org/home/icfp-splash-2025/plmw-icfp-splash-2025
TyDE
- https://conf.researchr.org/home/icfp-splash-2025/tyde-2025
FARM
- https://2025.splashcon.org/track/splash-2025-farm
HOPE
- https://conf.researchr.org/home/icfp-splash-2025/hope-2025
Erlang
- https://conf.researchr.org/home/icfp-splash-2025/erlang-2025
FUNARCH
- https://conf.researchr.org/home/icfp-splash-2025/funarch-2025

October 13-15
ICFP (3 days)
- https://icfp25.sigplan.org/

October 13-14
SAS (2 days)
- https://2025.splashcon.org/home/sas-2025

October 13
SPLASH Doctoral Symposium
- https://2025.splashcon.org/track/splash-2025-Doctoral-Symposium
SCALA
- https://conf.researchr.org/home/icfp-splash-2025/scala-2025
PROPL
- https://conf.researchr.org/home/icfp-splash-2025/propl-2025

October 14-15
OlivierFest (2 days)
- https://conf.researchr.org/home/icfp-splash-2025/olivierfest-2025
October 14
HATRA
- https://conf.researchr.org/home/icfp-splash-2025/hatra-2025
MPLR
- https://conf.researchr.org/home/icfp-splash-2025/mplr-2025
IWACO
- https://conf.researchr.org/home/icfp-splash-2025/iwaco-2025
October 15
PAINT
- https://conf.researchr.org/home/icfp-splash-2025/paint-2025
LMPL
- https://conf.researchr.org/home/icfp-splash-2025/lmpl-2025
VMIL
- https://conf.researchr.org/home/icfp-splash-2025/vmil-2025

October 16-18
OOPSLA (3 days)
- https://2025.splashcon.org/track/OOPSLA
ONWARD! (3 days)
- https://2025.splashcon.org/track/splash-2025-Onward-papers

October 16-17
HASKELL (2 days)
- https://conf.researchr.org/home/icfp-splash-2025/haskellsymp-2025

October 16
ML Family
- https://conf.researchr.org/home/icfp-splash-2025/mlsymposium-2025
SCHEME
- https://conf.researchr.org/home/icfp-splash-2025/scheme-2025
WASM
- https://conf.researchr.org/home/icfp-splash-2025/webassembly-ws-2025

October 17
OCAML
- https://conf.researchr.org/home/icfp-splash-2025/ocaml-2025
MINI KANREN
- https://conf.researchr.org/home/icfp-splash-2025/minikanren-2025
October 18
SPLASH-E
- https://2025.splashcon.org/track/splash-2025-SPLASH-E
REBASE
- https://conf.researchr.org/home/icfp-splash-2025/rebase-2025
Industry Forum
- https://conf.researchr.org/home/icfp-splash-2025/industry-forum-2025


ICFP 2025 will feature three keynotes:

Ekaterina Komendantskaya:
Proof-Carrying Neuro-Symbolic Code
https://icfp25.sigplan.org/details/icfp-2025-icfp-keynotes/2/Proof-Carrying-Neuro-Symbolic-Code

Christos Dimoulas:
The Rational Programmer, A Method for Investigating Programming Language
Pragmatics
https://icfp25.sigplan.org/details/icfp-2025-icfp-keynotes/3/The-Rational-Programmer-A-Method-for-Investigating-Programming-Language-Pragmatics

Satnam Singh:
Functional Programming for Hardware Design
https://icfp25.sigplan.org/details/icfp-2025-icfp-keynotes/1/Functional-Programming-for-Hardware-Design


ICFP 2025 conference organizers:

https://icfp25.sigplan.org/committee/icfp-2025-organizing-committee


We hope to see you in Singapore in October. Don't forget
to register by *August 31, 2025* for the early-bird
discount! Additionally, there is a *full-week discount*:
register for the whole 7 days and only pay for 6!

https://icfp25.sigplan.org/attending/registration

[-- Attachment #2: Type: text/html, Size: 10408 bytes --]