ICFP 2025 (Co-Located with SPLASH!): Call for Participation

--0000000000007ddcc8063b769b1a
Content-Type: text/plain; charset="UTF-8"

==================================================
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

--0000000000007ddcc8063b769b1a
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div style=3D"color:rgb(59,59,59);font-family:Menlo,Monaco=
,&quot;Courier New&quot;,monospace;font-size:12px;line-height:18px;white-sp=
ace:pre"><div><span style=3D"color:rgb(128,0,0);font-weight:bold">=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D</span></=
div><div>              Call for Participation             </div><br><div>  =
The 30th ACM SIGPLAN International Conference  </div><div>    on Functional=
 Programming (ICFP 2025) and</div><div>                affiliated events</d=
iv><br><div> <span style=3D"color:rgb(0,0,128);font-weight:bold">*** This y=
ear, co-located with SPLASH for a ***</span></div><div> <span style=3D"colo=
r:rgb(0,0,128);font-weight:bold">***      joint ICFP/SPLASH Conference     =
  ***</span></div><br><div>           <a href=3D"https://icfp25.sigplan.org=
">https://icfp25.sigplan.org</a></div><div>           Singapore; Oct 12-18,=
 2025</div><br><div> <span style=3D"color:rgb(0,0,128);font-weight:bold">**=
* Register by Aug 31, 2025 for a discount! ***</span></div><div><span style=
=3D"color:rgb(128,0,0);font-weight:bold">=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D</span></div><br><div>ICFP is a c=
elebration of the art and science of</div><div>functional programming, prov=
iding a forum for</div><div>researchers and developers to engage on a varie=
ty</div><div>of topics, from foundations to features, and from</div><div>ab=
straction to application.</div><br><div>This year, for the first time in hi=
story, ICFP will</div><div>be co-located with SPLASH and its satellite even=
ts</div><div>as a part of the joint ICFP/SPLASH 2025 conference.</div><br><=
div>You are invited to participate in a full week of</div><div>events dedic=
ated to the art and science of programming,</div><div>featuring both the IC=
FP and SPLASH main conferences</div><div>as well as numerous related events=
.</div><br><div> <span style=3D"color:rgb(4,81,165)">*</span> ICFP Accepted=
 Papers:</div><div>   <a href=3D"https://icfp25.sigplan.org/track/icfp-2025=
-papers#event-overview">https://icfp25.sigplan.org/track/icfp-2025-papers#e=
vent-overview</a></div><br><div> <span style=3D"color:rgb(4,81,165)">*</spa=
n> Registration:</div><div>   <a href=3D"https://icfp25.sigplan.org/attendi=
ng/registration">https://icfp25.sigplan.org/attending/registration</a></div=
><div>   <b>The early-bird deadline is August 31, 2025</b></div><div>   (Ad=
ditionally, there is a full week discount</div><div>   if you register for =
7 days!)</div><br><div> <span style=3D"color:rgb(4,81,165)">*</span> Venue =
(Sunday Workshops only): NUS School of Computing</div><div>   <a href=3D"ht=
tps://icfp25.sigplan.org/venue/splash-2025-venue1">https://icfp25.sigplan.o=
rg/venue/splash-2025-venue1</a></div><br><div> <span style=3D"color:rgb(4,8=
1,165)">*</span> Venue (Main Conference): Marina Bay Sands Convention Centr=
e</div><div>   <a href=3D"https://icfp25.sigplan.org/venue/splash-2025-venu=
e">https://icfp25.sigplan.org/venue/splash-2025-venue</a></div><br><br><div=
>Full list of events:</div><br><div>  October 12</div><div>    Tutorials</d=
iv><div>      - <a href=3D"https://conf.researchr.org/track/icfp-splash-202=
5/icfp-splash-2025-tutorials">https://conf.researchr.org/track/icfp-splash-=
2025/icfp-splash-2025-tutorials</a></div><div>    PLMW</div><div>      - <a=
 href=3D"https://conf.researchr.org/home/icfp-splash-2025/plmw-icfp-splash-=
2025">https://conf.researchr.org/home/icfp-splash-2025/plmw-icfp-splash-202=
5</a></div><div>    TyDE</div><div>      - <a href=3D"https://conf.research=
r.org/home/icfp-splash-2025/tyde-2025">https://conf.researchr.org/home/icfp=
-splash-2025/tyde-2025</a></div><div>    FARM</div><div>      - <a href=3D"=
https://2025.splashcon.org/track/splash-2025-farm">https://2025.splashcon.o=
rg/track/splash-2025-farm</a></div><div>    HOPE</div><div>      - <a href=
=3D"https://conf.researchr.org/home/icfp-splash-2025/hope-2025">https://con=
f.researchr.org/home/icfp-splash-2025/hope-2025</a></div><div>    Erlang</d=
iv><div>      - <a href=3D"https://conf.researchr.org/home/icfp-splash-2025=
/erlang-2025">https://conf.researchr.org/home/icfp-splash-2025/erlang-2025<=
/a></div><div>    FUNARCH</div><div>      - <a href=3D"https://conf.researc=
hr.org/home/icfp-splash-2025/funarch-2025">https://conf.researchr.org/home/=
icfp-splash-2025/funarch-2025</a></div><br><div>  October 13-15</div><div> =
   ICFP (3 days)</div><div>      - <a href=3D"https://icfp25.sigplan.org/">=
https://icfp25.sigplan.org/</a></div><br><div>  October 13-14</div><div>   =
 SAS (2 days)</div><div>      - <a href=3D"https://2025.splashcon.org/home/=
sas-2025">https://2025.splashcon.org/home/sas-2025</a></div><br><div>  Octo=
ber 13</div><div>    SPLASH Doctoral Symposium</div><div>      - <a href=3D=
"https://2025.splashcon.org/track/splash-2025-Doctoral-Symposium">https://2=
025.splashcon.org/track/splash-2025-Doctoral-Symposium</a></div><div>    SC=
ALA</div><div>      - <a href=3D"https://conf.researchr.org/home/icfp-splas=
h-2025/scala-2025">https://conf.researchr.org/home/icfp-splash-2025/scala-2=
025</a></div><div>    PROPL</div><div>      - <a href=3D"https://conf.resea=
rchr.org/home/icfp-splash-2025/propl-2025">https://conf.researchr.org/home/=
icfp-splash-2025/propl-2025</a></div><br><div>  October 14-15</div><div>   =
 OlivierFest (2 days)</div><div>      - <a href=3D"https://conf.researchr.o=
rg/home/icfp-splash-2025/olivierfest-2025">https://conf.researchr.org/home/=
icfp-splash-2025/olivierfest-2025</a></div><div>  </div><div>  October 14</=
div><div>    HATRA</div><div>      - <a href=3D"https://conf.researchr.org/=
home/icfp-splash-2025/hatra-2025">https://conf.researchr.org/home/icfp-spla=
sh-2025/hatra-2025</a></div><div>    MPLR</div><div>      - <a href=3D"http=
s://conf.researchr.org/home/icfp-splash-2025/mplr-2025">https://conf.resear=
chr.org/home/icfp-splash-2025/mplr-2025</a></div><div>    IWACO</div><div> =
     - <a href=3D"https://conf.researchr.org/home/icfp-splash-2025/iwaco-20=
25">https://conf.researchr.org/home/icfp-splash-2025/iwaco-2025</a></div><d=
iv>  </div><div>  October 15</div><div>    PAINT</div><div>      - <a href=
=3D"https://conf.researchr.org/home/icfp-splash-2025/paint-2025">https://co=
nf.researchr.org/home/icfp-splash-2025/paint-2025</a></div><div>    LMPL</d=
iv><div>      - <a href=3D"https://conf.researchr.org/home/icfp-splash-2025=
/lmpl-2025">https://conf.researchr.org/home/icfp-splash-2025/lmpl-2025</a><=
/div><div>    VMIL</div><div>      - <a href=3D"https://conf.researchr.org/=
home/icfp-splash-2025/vmil-2025">https://conf.researchr.org/home/icfp-splas=
h-2025/vmil-2025</a></div><br><div>  October 16-18</div><div>    OOPSLA (3 =
days)</div><div>      - <a href=3D"https://2025.splashcon.org/track/OOPSLA"=
>https://2025.splashcon.org/track/OOPSLA</a></div><div>    ONWARD! (3 days)=
</div><div>      - <a href=3D"https://2025.splashcon.org/track/splash-2025-=
Onward-papers">https://2025.splashcon.org/track/splash-2025-Onward-papers</=
a></div><br><div>  October 16-17</div><div>    HASKELL (2 days)</div><div> =
     - <a href=3D"https://conf.researchr.org/home/icfp-splash-2025/haskells=
ymp-2025">https://conf.researchr.org/home/icfp-splash-2025/haskellsymp-2025=
</a></div><br><div>  October 16</div><div>    ML Family</div><div>      - <=
a href=3D"https://conf.researchr.org/home/icfp-splash-2025/mlsymposium-2025=
">https://conf.researchr.org/home/icfp-splash-2025/mlsymposium-2025</a></di=
v><div>    SCHEME</div><div>      - <a href=3D"https://conf.researchr.org/h=
ome/icfp-splash-2025/scheme-2025">https://conf.researchr.org/home/icfp-spla=
sh-2025/scheme-2025</a></div><div>    WASM</div><div>      - <a href=3D"htt=
ps://conf.researchr.org/home/icfp-splash-2025/webassembly-ws-2025">https://=
conf.researchr.org/home/icfp-splash-2025/webassembly-ws-2025</a></div><br><=
div>  October 17</div><div>    OCAML</div><div>      - <a href=3D"https://c=
onf.researchr.org/home/icfp-splash-2025/ocaml-2025">https://conf.researchr.=
org/home/icfp-splash-2025/ocaml-2025</a></div><div>    MINI KANREN</div><di=
v>      - <a href=3D"https://conf.researchr.org/home/icfp-splash-2025/minik=
anren-2025">https://conf.researchr.org/home/icfp-splash-2025/minikanren-202=
5</a></div><div>  </div><div>  October 18</div><div>    SPLASH-E</div><div>=
      - <a href=3D"https://2025.splashcon.org/track/splash-2025-SPLASH-E">h=
ttps://2025.splashcon.org/track/splash-2025-SPLASH-E</a></div><div>    REBA=
SE</div><div>      - <a href=3D"https://conf.researchr.org/home/icfp-splash=
-2025/rebase-2025">https://conf.researchr.org/home/icfp-splash-2025/rebase-=
2025</a></div><div>    Industry Forum</div><div>      - <a href=3D"https://=
conf.researchr.org/home/icfp-splash-2025/industry-forum-2025">https://conf.=
researchr.org/home/icfp-splash-2025/industry-forum-2025</a> </div><br><br><=
div>ICFP 2025 will feature three keynotes:</div><br><div>  Ekaterina Komend=
antskaya:</div><div>  Proof-Carrying Neuro-Symbolic Code</div><div>  <a hre=
f=3D"https://icfp25.sigplan.org/details/icfp-2025-icfp-keynotes/2/Proof-Car=
rying-Neuro-Symbolic-Code">https://icfp25.sigplan.org/details/icfp-2025-icf=
p-keynotes/2/Proof-Carrying-Neuro-Symbolic-Code</a></div><br><div>  Christo=
s Dimoulas:</div><div>  The Rational Programmer, A Method for Investigating=
 Programming Language Pragmatics</div><div>  <a href=3D"https://icfp25.sigp=
lan.org/details/icfp-2025-icfp-keynotes/3/The-Rational-Programmer-A-Method-=
for-Investigating-Programming-Language-Pragmatics">https://icfp25.sigplan.o=
rg/details/icfp-2025-icfp-keynotes/3/The-Rational-Programmer-A-Method-for-I=
nvestigating-Programming-Language-Pragmatics</a></div><br><div>  Satnam Sin=
gh:</div><div>  Functional Programming for Hardware Design</div><div>  <a h=
ref=3D"https://icfp25.sigplan.org/details/icfp-2025-icfp-keynotes/1/Functio=
nal-Programming-for-Hardware-Design">https://icfp25.sigplan.org/details/icf=
p-2025-icfp-keynotes/1/Functional-Programming-for-Hardware-Design</a></div>=
<br><br><div>ICFP 2025 conference organizers:</div><br><div>  <a href=3D"ht=
tps://icfp25.sigplan.org/committee/icfp-2025-organizing-committee">https://=
icfp25.sigplan.org/committee/icfp-2025-organizing-committee</a></div><br><b=
r><div>We hope to see you in Singapore in October. Don&#39;t forget</div><d=
iv>to register by <span style=3D"color:rgb(0,0,128)"><b>August 31, 2025</b>=
</span> for the early-bird</div><div>discount! Additionally, there is a <sp=
an style=3D"color:rgb(0,0,128)"><b>full-week discount</b></span>:</div><div=
>register for the whole 7 days and only pay for 6!</div><br><div>  <a href=
=3D"https://icfp25.sigplan.org/attending/registration">https://icfp25.sigpl=
an.org/attending/registration</a></div><div><br></div></div></div>

--0000000000007ddcc8063b769b1a--