[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
==================================================
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://urldefense.com/v3/__https://icfp25.sigplan.org__;!!IBzWLUs!WC7w04qjkIydSO6STBvdrOJfOtcvZFyrcJdk5T8npb0zebNatkrFw4OunJv_NmPQFvqQQDU9gKvO-r8sXLoCDPnD_DTdcVe5OR8dbgYRNsg$
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://urldefense.com/v3/__https://icfp25.sigplan.org/track/icfp-2025-papers*event-overview__;Iw!!IBzWLUs!WC7w04qjkIydSO6STBvdrOJfOtcvZFyrcJdk5T8npb0zebNatkrFw4OunJv_NmPQFvqQQDU9gKvO-r8sXLoCDPnD_DTdcVe5OR8dWoiFd9s$
* Registration:
https://urldefense.com/v3/__https://icfp25.sigplan.org/attending/registration__;!!IBzWLUs!WC7w04qjkIydSO6STBvdrOJfOtcvZFyrcJdk5T8npb0zebNatkrFw4OunJv_NmPQFvqQQDU9gKvO-r8sXLoCDPnD_DTdcVe5OR8dOMoZcB8$
*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://urldefense.com/v3/__https://icfp25.sigplan.org/venue/splash-2025-venue1__;!!IBzWLUs!WC7w04qjkIydSO6STBvdrOJfOtcvZFyrcJdk5T8npb0zebNatkrFw4OunJv_NmPQFvqQQDU9gKvO-r8sXLoCDPnD_DTdcVe5OR8dGgq3ozY$
* Venue (Main Conference): Marina Bay Sands Convention Centre
https://urldefense.com/v3/__https://icfp25.sigplan.org/venue/splash-2025-venue__;!!IBzWLUs!WC7w04qjkIydSO6STBvdrOJfOtcvZFyrcJdk5T8npb0zebNatkrFw4OunJv_NmPQFvqQQDU9gKvO-r8sXLoCDPnD_DTdcVe5OR8dTZLhqts$
Full list of events:
October 12
Tutorials
-
https://urldefense.com/v3/__https://conf.researchr.org/track/icfp-splash-2025/icfp-splash-2025-tutorials__;!!IBzWLUs!WC7w04qjkIydSO6STBvdrOJfOtcvZFyrcJdk5T8npb0zebNatkrFw4OunJv_NmPQFvqQQDU9gKvO-r8sXLoCDPnD_DTdcVe5OR8dgRK9qhc$
PLMW
-
https://urldefense.com/v3/__https://conf.researchr.org/home/icfp-splash-2025/plmw-icfp-splash-2025__;!!IBzWLUs!WC7w04qjkIydSO6STBvdrOJfOtcvZFyrcJdk5T8npb0zebNatkrFw4OunJv_NmPQFvqQQDU9gKvO-r8sXLoCDPnD_DTdcVe5OR8dWXm_IaM$
TyDE
-
https://urldefense.com/v3/__https://conf.researchr.org/home/icfp-splash-2025/tyde-2025__;!!IBzWLUs!WC7w04qjkIydSO6STBvdrOJfOtcvZFyrcJdk5T8npb0zebNatkrFw4OunJv_NmPQFvqQQDU9gKvO-r8sXLoCDPnD_DTdcVe5OR8dU2MZ8EM$
FARM
-
https://urldefense.com/v3/__https://2025.splashcon.org/track/splash-2025-farm__;!!IBzWLUs!WC7w04qjkIydSO6STBvdrOJfOtcvZFyrcJdk5T8npb0zebNatkrFw4OunJv_NmPQFvqQQDU9gKvO-r8sXLoCDPnD_DTdcVe5OR8duvMxdok$
HOPE
-
https://urldefense.com/v3/__https://conf.researchr.org/home/icfp-splash-2025/hope-2025__;!!IBzWLUs!WC7w04qjkIydSO6STBvdrOJfOtcvZFyrcJdk5T8npb0zebNatkrFw4OunJv_NmPQFvqQQDU9gKvO-r8sXLoCDPnD_DTdcVe5OR8dHViuhIo$
Erlang
-
https://urldefense.com/v3/__https://conf.researchr.org/home/icfp-splash-2025/erlang-2025__;!!IBzWLUs!WC7w04qjkIydSO6STBvdrOJfOtcvZFyrcJdk5T8npb0zebNatkrFw4OunJv_NmPQFvqQQDU9gKvO-r8sXLoCDPnD_DTdcVe5OR8dMfCoDaI$
FUNARCH
-
https://urldefense.com/v3/__https://conf.researchr.org/home/icfp-splash-2025/funarch-2025__;!!IBzWLUs!WC7w04qjkIydSO6STBvdrOJfOtcvZFyrcJdk5T8npb0zebNatkrFw4OunJv_NmPQFvqQQDU9gKvO-r8sXLoCDPnD_DTdcVe5OR8d5eIJojs$
October 13-15
ICFP (3 days)
-
https://urldefense.com/v3/__https://icfp25.sigplan.org/__;!!IBzWLUs!WC7w04qjkIydSO6STBvdrOJfOtcvZFyrcJdk5T8npb0zebNatkrFw4OunJv_NmPQFvqQQDU9gKvO-r8sXLoCDPnD_DTdcVe5OR8d66PtzR4$
October 13-14
SAS (2 days)
-
https://urldefense.com/v3/__https://2025.splashcon.org/home/sas-2025__;!!IBzWLUs!WC7w04qjkIydSO6STBvdrOJfOtcvZFyrcJdk5T8npb0zebNatkrFw4OunJv_NmPQFvqQQDU9gKvO-r8sXLoCDPnD_DTdcVe5OR8dQbz0_rk$
October 13
SPLASH Doctoral Symposium
-
https://urldefense.com/v3/__https://2025.splashcon.org/track/splash-2025-Doctoral-Symposium__;!!IBzWLUs!WC7w04qjkIydSO6STBvdrOJfOtcvZFyrcJdk5T8npb0zebNatkrFw4OunJv_NmPQFvqQQDU9gKvO-r8sXLoCDPnD_DTdcVe5OR8dlqOvQ50$
SCALA
-
https://urldefense.com/v3/__https://conf.researchr.org/home/icfp-splash-2025/scala-2025__;!!IBzWLUs!WC7w04qjkIydSO6STBvdrOJfOtcvZFyrcJdk5T8npb0zebNatkrFw4OunJv_NmPQFvqQQDU9gKvO-r8sXLoCDPnD_DTdcVe5OR8dFXaCLdw$
PROPL
-
https://urldefense.com/v3/__https://conf.researchr.org/home/icfp-splash-2025/propl-2025__;!!IBzWLUs!WC7w04qjkIydSO6STBvdrOJfOtcvZFyrcJdk5T8npb0zebNatkrFw4OunJv_NmPQFvqQQDU9gKvO-r8sXLoCDPnD_DTdcVe5OR8d-Fr6Dfw$
October 14-15
OlivierFest (2 days)
-
https://urldefense.com/v3/__https://conf.researchr.org/home/icfp-splash-2025/olivierfest-2025__;!!IBzWLUs!WC7w04qjkIydSO6STBvdrOJfOtcvZFyrcJdk5T8npb0zebNatkrFw4OunJv_NmPQFvqQQDU9gKvO-r8sXLoCDPnD_DTdcVe5OR8dg-gdPSs$
October 14
HATRA
-
https://urldefense.com/v3/__https://conf.researchr.org/home/icfp-splash-2025/hatra-2025__;!!IBzWLUs!WC7w04qjkIydSO6STBvdrOJfOtcvZFyrcJdk5T8npb0zebNatkrFw4OunJv_NmPQFvqQQDU9gKvO-r8sXLoCDPnD_DTdcVe5OR8dhwYRz3w$
MPLR
-
https://urldefense.com/v3/__https://conf.researchr.org/home/icfp-splash-2025/mplr-2025__;!!IBzWLUs!WC7w04qjkIydSO6STBvdrOJfOtcvZFyrcJdk5T8npb0zebNatkrFw4OunJv_NmPQFvqQQDU9gKvO-r8sXLoCDPnD_DTdcVe5OR8dxp24Cwg$
IWACO
-
https://urldefense.com/v3/__https://conf.researchr.org/home/icfp-splash-2025/iwaco-2025__;!!IBzWLUs!WC7w04qjkIydSO6STBvdrOJfOtcvZFyrcJdk5T8npb0zebNatkrFw4OunJv_NmPQFvqQQDU9gKvO-r8sXLoCDPnD_DTdcVe5OR8dD8XK4_c$
October 15
PAINT
-
https://urldefense.com/v3/__https://conf.researchr.org/home/icfp-splash-2025/paint-2025__;!!IBzWLUs!WC7w04qjkIydSO6STBvdrOJfOtcvZFyrcJdk5T8npb0zebNatkrFw4OunJv_NmPQFvqQQDU9gKvO-r8sXLoCDPnD_DTdcVe5OR8dBR3LaQM$
LMPL
-
https://urldefense.com/v3/__https://conf.researchr.org/home/icfp-splash-2025/lmpl-2025__;!!IBzWLUs!WC7w04qjkIydSO6STBvdrOJfOtcvZFyrcJdk5T8npb0zebNatkrFw4OunJv_NmPQFvqQQDU9gKvO-r8sXLoCDPnD_DTdcVe5OR8d0bFWveI$
VMIL
-
https://urldefense.com/v3/__https://conf.researchr.org/home/icfp-splash-2025/vmil-2025__;!!IBzWLUs!WC7w04qjkIydSO6STBvdrOJfOtcvZFyrcJdk5T8npb0zebNatkrFw4OunJv_NmPQFvqQQDU9gKvO-r8sXLoCDPnD_DTdcVe5OR8dBtMw62Y$
October 16-18
OOPSLA (3 days)
-
https://urldefense.com/v3/__https://2025.splashcon.org/track/OOPSLA__;!!IBzWLUs!WC7w04qjkIydSO6STBvdrOJfOtcvZFyrcJdk5T8npb0zebNatkrFw4OunJv_NmPQFvqQQDU9gKvO-r8sXLoCDPnD_DTdcVe5OR8d2YcD-EQ$
ONWARD! (3 days)
-
https://urldefense.com/v3/__https://2025.splashcon.org/track/splash-2025-Onward-papers__;!!IBzWLUs!WC7w04qjkIydSO6STBvdrOJfOtcvZFyrcJdk5T8npb0zebNatkrFw4OunJv_NmPQFvqQQDU9gKvO-r8sXLoCDPnD_DTdcVe5OR8diMuZEu0$
October 16-17
HASKELL (2 days)
-
https://urldefense.com/v3/__https://conf.researchr.org/home/icfp-splash-2025/haskellsymp-2025__;!!IBzWLUs!WC7w04qjkIydSO6STBvdrOJfOtcvZFyrcJdk5T8npb0zebNatkrFw4OunJv_NmPQFvqQQDU9gKvO-r8sXLoCDPnD_DTdcVe5OR8dhZWMOTo$
October 16
ML Family
-
https://urldefense.com/v3/__https://conf.researchr.org/home/icfp-splash-2025/mlsymposium-2025__;!!IBzWLUs!WC7w04qjkIydSO6STBvdrOJfOtcvZFyrcJdk5T8npb0zebNatkrFw4OunJv_NmPQFvqQQDU9gKvO-r8sXLoCDPnD_DTdcVe5OR8daUfa5pI$
SCHEME
-
https://urldefense.com/v3/__https://conf.researchr.org/home/icfp-splash-2025/scheme-2025__;!!IBzWLUs!WC7w04qjkIydSO6STBvdrOJfOtcvZFyrcJdk5T8npb0zebNatkrFw4OunJv_NmPQFvqQQDU9gKvO-r8sXLoCDPnD_DTdcVe5OR8d_EnEaiM$
WASM
-
https://urldefense.com/v3/__https://conf.researchr.org/home/icfp-splash-2025/webassembly-ws-2025__;!!IBzWLUs!WC7w04qjkIydSO6STBvdrOJfOtcvZFyrcJdk5T8npb0zebNatkrFw4OunJv_NmPQFvqQQDU9gKvO-r8sXLoCDPnD_DTdcVe5OR8dl_mJ6GQ$
October 17
OCAML
-
https://urldefense.com/v3/__https://conf.researchr.org/home/icfp-splash-2025/ocaml-2025__;!!IBzWLUs!WC7w04qjkIydSO6STBvdrOJfOtcvZFyrcJdk5T8npb0zebNatkrFw4OunJv_NmPQFvqQQDU9gKvO-r8sXLoCDPnD_DTdcVe5OR8d1_I_Rfs$
MINI KANREN
-
https://urldefense.com/v3/__https://conf.researchr.org/home/icfp-splash-2025/minikanren-2025__;!!IBzWLUs!WC7w04qjkIydSO6STBvdrOJfOtcvZFyrcJdk5T8npb0zebNatkrFw4OunJv_NmPQFvqQQDU9gKvO-r8sXLoCDPnD_DTdcVe5OR8d-_CDXvE$
October 18
SPLASH-E
-
https://urldefense.com/v3/__https://2025.splashcon.org/track/splash-2025-SPLASH-E__;!!IBzWLUs!WC7w04qjkIydSO6STBvdrOJfOtcvZFyrcJdk5T8npb0zebNatkrFw4OunJv_NmPQFvqQQDU9gKvO-r8sXLoCDPnD_DTdcVe5OR8dcudgrWA$
REBASE
-
https://urldefense.com/v3/__https://conf.researchr.org/home/icfp-splash-2025/rebase-2025__;!!IBzWLUs!WC7w04qjkIydSO6STBvdrOJfOtcvZFyrcJdk5T8npb0zebNatkrFw4OunJv_NmPQFvqQQDU9gKvO-r8sXLoCDPnD_DTdcVe5OR8dS3SX68o$
Industry Forum
-
https://urldefense.com/v3/__https://conf.researchr.org/home/icfp-splash-2025/industry-forum-2025__;!!IBzWLUs!WC7w04qjkIydSO6STBvdrOJfOtcvZFyrcJdk5T8npb0zebNatkrFw4OunJv_NmPQFvqQQDU9gKvO-r8sXLoCDPnD_DTdcVe5OR8dw7a0pa0$
ICFP 2025 will feature three keynotes:
Ekaterina Komendantskaya:
Proof-Carrying Neuro-Symbolic Code
https://urldefense.com/v3/__https://icfp25.sigplan.org/details/icfp-2025-icfp-keynotes/2/Proof-Carrying-Neuro-Symbolic-Code__;!!IBzWLUs!WC7w04qjkIydSO6STBvdrOJfOtcvZFyrcJdk5T8npb0zebNatkrFw4OunJv_NmPQFvqQQDU9gKvO-r8sXLoCDPnD_DTdcVe5OR8d12xCw6k$
Christos Dimoulas:
The Rational Programmer, A Method for Investigating Programming Language
Pragmatics
https://urldefense.com/v3/__https://icfp25.sigplan.org/details/icfp-2025-icfp-keynotes/3/The-Rational-Programmer-A-Method-for-Investigating-Programming-Language-Pragmatics__;!!IBzWLUs!WC7w04qjkIydSO6STBvdrOJfOtcvZFyrcJdk5T8npb0zebNatkrFw4OunJv_NmPQFvqQQDU9gKvO-r8sXLoCDPnD_DTdcVe5OR8dC5Bj1KQ$
Satnam Singh:
Functional Programming for Hardware Design
https://urldefense.com/v3/__https://icfp25.sigplan.org/details/icfp-2025-icfp-keynotes/1/Functional-Programming-for-Hardware-Design__;!!IBzWLUs!WC7w04qjkIydSO6STBvdrOJfOtcvZFyrcJdk5T8npb0zebNatkrFw4OunJv_NmPQFvqQQDU9gKvO-r8sXLoCDPnD_DTdcVe5OR8d8vlDwls$
ICFP 2025 conference organizers:
https://urldefense.com/v3/__https://icfp25.sigplan.org/committee/icfp-2025-organizing-committee__;!!IBzWLUs!WC7w04qjkIydSO6STBvdrOJfOtcvZFyrcJdk5T8npb0zebNatkrFw4OunJv_NmPQFvqQQDU9gKvO-r8sXLoCDPnD_DTdcVe5OR8dx0ucE04$
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://urldefense.com/v3/__https://icfp25.sigplan.org/attending/registration__;!!IBzWLUs!WC7w04qjkIydSO6STBvdrOJfOtcvZFyrcJdk5T8npb0zebNatkrFw4OunJv_NmPQFvqQQDU9gKvO-r8sXLoCDPnD_DTdcVe5OR8dOMoZcB8$
