k-user AT lists.siebelschool.illinois.edu
Subject: K-user mailing list
List archive
[[K-user] ] ICFP 2025 (Co-Located with SPLASH!): Call for Participation
- From: ICFP Publicity <icfp.publicity AT googlemail.com>
- To: undisclosed-recipients:;
- Subject: [[K-user] ] ICFP 2025 (Co-Located with SPLASH!): Call for Participation
- Date: Sun, 3 Aug 2025 10:14:10 -0400
==================================================
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 ***
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:
* 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
* Venue (Main Conference): Marina Bay Sands Convention Centre
Full list of events:
October 12
Tutorials
PLMW
TyDE
FARM
HOPE
Erlang
FUNARCH
October 13-15
ICFP (3 days)
October 13-14
SAS (2 days)
October 13
SPLASH Doctoral Symposium
SCALA
PROPL
October 14-15
OlivierFest (2 days)
October 14
HATRA
MPLR
IWACO
October 15
PAINT
LMPL
VMIL
October 16-18
OOPSLA (3 days)
ONWARD! (3 days)
October 16-17
HASKELL (2 days)
October 16
ML Family
SCHEME
WASM
October 17
OCAML
MINI KANREN
October 18
SPLASH-E
REBASE
Industry Forum
ICFP 2025 will feature three keynotes:
Ekaterina Komendantskaya:
Proof-Carrying Neuro-Symbolic Code
Christos Dimoulas:
The Rational Programmer, A Method for Investigating Programming Language Pragmatics
Satnam Singh:
Functional Programming for Hardware Design
ICFP 2025 conference organizers:
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!
- [[K-user] ] ICFP 2025 (Co-Located with SPLASH!): Call for Participation, ICFP Publicity, 08/03/2025
Archive powered by MHonArc 2.6.24.