[TYPES/announce] ICFP 2025 (Co-Located with SPLASH!): Call for Participation

ICFP Publicity icfp.publicity at googlemail.com
Sun Aug 3 10:14:10 EDT 2025 

==================================================
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$ 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20250803/8f21aed1/attachment-0001.htm>

More information about the Types-announce mailing list