<div dir="ltr"><div style="color:rgb(59,59,59);font-family:Menlo,Monaco,"Courier New",monospace;font-size:12px;line-height:18px;white-space:pre"><div><span style="color:rgb(128,0,0);font-weight:bold">==================================================</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</div><br><div> <span style="color:rgb(0,0,128);font-weight:bold">*** This year, co-located with SPLASH for a ***</span></div><div> <span style="color:rgb(0,0,128);font-weight:bold">***      joint ICFP/SPLASH Conference       ***</span></div><br><div>           <a href="https://icfp25.sigplan.org">https://icfp25.sigplan.org</a></div><div>           Singapore; Oct 12-18, 2025</div><br><div> <span style="color:rgb(0,0,128);font-weight:bold">*** Register by Aug 31, 2025 for a discount! ***</span></div><div><span style="color:rgb(128,0,0);font-weight:bold">==================================================</span></div><br><div>ICFP is a celebration of the art and science of</div><div>functional programming, providing a forum for</div><div>researchers and developers to engage on a variety</div><div>of topics, from foundations to features, and from</div><div>abstraction to application.</div><br><div>This year, for the first time in history, ICFP will</div><div>be co-located with SPLASH and its satellite events</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 dedicated to the art and science of programming,</div><div>featuring both the ICFP and SPLASH main conferences</div><div>as well as numerous related events.</div><br><div> <span style="color:rgb(4,81,165)">*</span> ICFP Accepted Papers:</div><div>   <a href="https://icfp25.sigplan.org/track/icfp-2025-papers#event-overview">https://icfp25.sigplan.org/track/icfp-2025-papers#event-overview</a></div><br><div> <span style="color:rgb(4,81,165)">*</span> Registration:</div><div>   <a href="https://icfp25.sigplan.org/attending/registration">https://icfp25.sigplan.org/attending/registration</a></div><div>   <b>The early-bird deadline is August 31, 2025</b></div><div>   (Additionally, there is a full week discount</div><div>   if you register for 7 days!)</div><br><div> <span style="color:rgb(4,81,165)">*</span> Venue (Sunday Workshops only): NUS School of Computing</div><div>   <a href="https://icfp25.sigplan.org/venue/splash-2025-venue1">https://icfp25.sigplan.org/venue/splash-2025-venue1</a></div><br><div> <span style="color:rgb(4,81,165)">*</span> Venue (Main Conference): Marina Bay Sands Convention Centre</div><div>   <a href="https://icfp25.sigplan.org/venue/splash-2025-venue">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</div><div>      - <a href="https://conf.researchr.org/track/icfp-splash-2025/icfp-splash-2025-tutorials">https://conf.researchr.org/track/icfp-splash-2025/icfp-splash-2025-tutorials</a></div><div>    PLMW</div><div>      - <a href="https://conf.researchr.org/home/icfp-splash-2025/plmw-icfp-splash-2025">https://conf.researchr.org/home/icfp-splash-2025/plmw-icfp-splash-2025</a></div><div>    TyDE</div><div>      - <a href="https://conf.researchr.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="https://2025.splashcon.org/track/splash-2025-farm">https://2025.splashcon.org/track/splash-2025-farm</a></div><div>    HOPE</div><div>      - <a href="https://conf.researchr.org/home/icfp-splash-2025/hope-2025">https://conf.researchr.org/home/icfp-splash-2025/hope-2025</a></div><div>    Erlang</div><div>      - <a href="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="https://conf.researchr.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="https://icfp25.sigplan.org/">https://icfp25.sigplan.org/</a></div><br><div>  October 13-14</div><div>    SAS (2 days)</div><div>      - <a href="https://2025.splashcon.org/home/sas-2025">https://2025.splashcon.org/home/sas-2025</a></div><br><div>  October 13</div><div>    SPLASH Doctoral Symposium</div><div>      - <a href="https://2025.splashcon.org/track/splash-2025-Doctoral-Symposium">https://2025.splashcon.org/track/splash-2025-Doctoral-Symposium</a></div><div>    SCALA</div><div>      - <a href="https://conf.researchr.org/home/icfp-splash-2025/scala-2025">https://conf.researchr.org/home/icfp-splash-2025/scala-2025</a></div><div>    PROPL</div><div>      - <a href="https://conf.researchr.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="https://conf.researchr.org/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="https://conf.researchr.org/home/icfp-splash-2025/hatra-2025">https://conf.researchr.org/home/icfp-splash-2025/hatra-2025</a></div><div>    MPLR</div><div>      - <a href="https://conf.researchr.org/home/icfp-splash-2025/mplr-2025">https://conf.researchr.org/home/icfp-splash-2025/mplr-2025</a></div><div>    IWACO</div><div>      - <a href="https://conf.researchr.org/home/icfp-splash-2025/iwaco-2025">https://conf.researchr.org/home/icfp-splash-2025/iwaco-2025</a></div><div>  </div><div>  October 15</div><div>    PAINT</div><div>      - <a href="https://conf.researchr.org/home/icfp-splash-2025/paint-2025">https://conf.researchr.org/home/icfp-splash-2025/paint-2025</a></div><div>    LMPL</div><div>      - <a href="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="https://conf.researchr.org/home/icfp-splash-2025/vmil-2025">https://conf.researchr.org/home/icfp-splash-2025/vmil-2025</a></div><br><div>  October 16-18</div><div>    OOPSLA (3 days)</div><div>      - <a href="https://2025.splashcon.org/track/OOPSLA">https://2025.splashcon.org/track/OOPSLA</a></div><div>    ONWARD! (3 days)</div><div>      - <a href="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="https://conf.researchr.org/home/icfp-splash-2025/haskellsymp-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="https://conf.researchr.org/home/icfp-splash-2025/mlsymposium-2025">https://conf.researchr.org/home/icfp-splash-2025/mlsymposium-2025</a></div><div>    SCHEME</div><div>      - <a href="https://conf.researchr.org/home/icfp-splash-2025/scheme-2025">https://conf.researchr.org/home/icfp-splash-2025/scheme-2025</a></div><div>    WASM</div><div>      - <a href="https://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="https://conf.researchr.org/home/icfp-splash-2025/ocaml-2025">https://conf.researchr.org/home/icfp-splash-2025/ocaml-2025</a></div><div>    MINI KANREN</div><div>      - <a href="https://conf.researchr.org/home/icfp-splash-2025/minikanren-2025">https://conf.researchr.org/home/icfp-splash-2025/minikanren-2025</a></div><div>  </div><div>  October 18</div><div>    SPLASH-E</div><div>      - <a href="https://2025.splashcon.org/track/splash-2025-SPLASH-E">https://2025.splashcon.org/track/splash-2025-SPLASH-E</a></div><div>    REBASE</div><div>      - <a href="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="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 Komendantskaya:</div><div>  Proof-Carrying Neuro-Symbolic Code</div><div>  <a href="https://icfp25.sigplan.org/details/icfp-2025-icfp-keynotes/2/Proof-Carrying-Neuro-Symbolic-Code">https://icfp25.sigplan.org/details/icfp-2025-icfp-keynotes/2/Proof-Carrying-Neuro-Symbolic-Code</a></div><br><div>  Christos Dimoulas:</div><div>  The Rational Programmer, A Method for Investigating Programming Language Pragmatics</div><div>  <a href="https://icfp25.sigplan.org/details/icfp-2025-icfp-keynotes/3/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</a></div><br><div>  Satnam Singh:</div><div>  Functional Programming for Hardware Design</div><div>  <a href="https://icfp25.sigplan.org/details/icfp-2025-icfp-keynotes/1/Functional-Programming-for-Hardware-Design">https://icfp25.sigplan.org/details/icfp-2025-icfp-keynotes/1/Functional-Programming-for-Hardware-Design</a></div><br><br><div>ICFP 2025 conference organizers:</div><br><div>  <a href="https://icfp25.sigplan.org/committee/icfp-2025-organizing-committee">https://icfp25.sigplan.org/committee/icfp-2025-organizing-committee</a></div><br><br><div>We hope to see you in Singapore in October. Don't forget</div><div>to register by <span style="color:rgb(0,0,128)"><b>August 31, 2025</b></span> for the early-bird</div><div>discount! Additionally, there is a <span style="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="https://icfp25.sigplan.org/attending/registration">https://icfp25.sigplan.org/attending/registration</a></div><div><br></div></div></div>