ICFP/SPLASH 2025
Sun 12 - Sat 18 October 2025 Singapore
WhenTrackWhat
Mon 28 Apr - Thu 1 May 2025 ICFP PapersAuthor Response
Thu 8 May 2025 WorkshopsTutorials Proposal Submission
Sun 11 May 2025 SAS Paper Submissionupdated
Sun 18 May 2025 SAS ArtifactArtifact Submissionupdated
Sun 18 May 2025 SAS Artifact Submissionupdated
Fri 23 May 2025 ICFP PapersNotification of Conditional Acceptance
Mon 26 - Thu 29 May 2025 SPLASH OOPSLAAuthor Response R2
Thu 29 May 2025 HOPESubmission Deadline
Thu 29 May 2025 ICFP ArtifactsArtifact registration
Sat 31 May 2025 FProPerAbstract for full papers
Fri 6 Jun 2025 ErlangSubmission Deadline
Fri 6 Jun 2025 SPLASH Onward! PapersFirst-round notification
Fri 6 Jun 2025 SPLASH Onward! EssaysFirst-round Notification
Mon 9 Jun 2025 HaskellPaper submission deadline
Mon 9 Jun 2025 TyDeSubmission deadline
Wed 11 Jun 2025 MPLRSubmission Deadline
Thu 12 Jun 2025 ICFP PapersDeadline for Submitting Revisions
Fri 13 Jun 2025 ICFP ArtifactsArtifact submission
Fri 13 Jun 2025 SPLASH FARM PerformanceFARM submission deadlinenew
Sat 14 Jun 2025 FProPerFull paper submission
Mon 16 Jun 2025 FUNARCHSubmission Deadline
Mon 16 Jun - Wed 18 Jun 2025 SAS Author Response
Wed 18 Jun 2025 SPLASH OOPSLAAuthor Notification R2
Thu 19 Jun 2025 ML Family WorkshopSubmission Deadline
Mon 23 - Wed 25 Jun 2025 SAS ArtifactAuthor Responseupdated
Thu 26 Jun 2025 HOPENotification
Fri 27 Jun 2025 SPLASH OOPSLA ArtifactsSubmission Round 2
Fri 27 Jun 2025 ICFP PapersFinal Decision Notification
Mon 30 Jun 2025 LMPLPaper Submission
Tue 1 Jul 2025 SPLASH -EArchival Paper Submissionnew
Wed 2 Jul 2025 PAINTSubmission deadline
Wed 2 Jul 2025 HATRASubmission deadline
Thu 3 Jul 2025 PROPLSubmission deadline
Thu 3 Jul 2025 OCamlSubmission deadline
Fri 4 Jul 2025 ErlangNotification
Sat 5 Jul 2025 SPLASH FARM PerformanceFARM author notificationnew
Tue 8 Jul 2025 SPLASH Student Research CompetitionSubmission deadline
Thu 10 Jul 2025 miniKanren and Relational Programming WorkshopSubmission deadline
Thu 10 Jul 2025 The Scala WorkshopTalk Proposal Submission
Mon 30 Jun 12:00 - Fri 11 Jul 12:00 2025 SPLASH OOPSLA ArtifactsKick-the-Tires Round 2
Fri 11 Jul 2025 SAS Notification
Fri 11 Jul 2025 ICFP PapersCamera-Ready Deadline
Mon 14 Jul 2025 VMILAbstract Submission (Research papers)
Wed 16 Jul 2025 TyDeNotification of acceptance
Thu 17 Jul 2025 PAINTAuthors notification
Thu 17 Jul 2025 SPLASH Onward! PapersRevised submission deadline
Thu 17 Jul 2025 SchemeSubmission deadline
Thu 17 Jul 2025 SPLASH Onward! EssaysRevision Deadline
Thu 17 Jul 2025 HaskellAuthor Notification
Fri 18 Jul 2025 SAS ArtifactNotificationupdated
Fri 18 Jul 2025 ICFP ArtifactsFinal decision
Sun 20 Jul 2025 SPLASH FARM PerformanceFARM camera-ready deadlinenew
Mon 21 Jul 2025 FUNARCHAuthor Notification
Mon 21 Jul 2025 VMILSubmission Deadline (Research papers)
Mon 28 Jul 2025 MPLRAuthor Notification
Tue 29 Jul 2025 SPLASH OOPSLASubmission of Revisions R2
Wed 30 Jul 2025 PAINTResubmission of conditional accepts
Wed 30 Jul 2025 TyDeSubmission of camera-ready papers
Thu 31 Jul 2025 ML Family WorkshopInitial Author Notification (most cases)
Thu 31 Jul 2025 SAS Camera-Ready
Fri 1 Aug 2025 LMPLAuthor Notification
Fri 1 Aug 2025 HATRAAuthor notification (tentative)
Fri 1 Aug 2025 SPLASH -EAuthor Notificationnew
Sat 2 Aug 2025 FProPerTwo page abstract submission (presentation only)
Mon 4 Aug 2025 VMILAuthor Notification (Research papers)
Mon 4 Aug 2025 The Scala WorkshopAuthor Notification
Wed 6 Aug 2025 PAINTNotifications for revisions
Thu 7 Aug 2025 ML Family WorkshopFinal Author Notification (if needed)
Thu 7 Aug 2025 PROPLNotification
Thu 7 Aug 2025 OCamlAuthor/speaker notification
Mon 11 Aug 2025 SPLASH Onward! PapersFinal notification
Mon 11 Aug 2025 SchemeAuthor notification
Mon 11 Aug 2025 SPLASH Onward! EssaysFinal Notification
Tue 12 Aug 2025 miniKanren and Relational Programming WorkshopAuthor notification
Tue 12 Aug 2025 SPLASH Student Research CompetitionNotification
Tue 12 Aug 2025 VMILSubmission Deadline (Work-in-Progress papers)
Tue 12 Aug 2025 SPLASH OOPSLAAuthor Notification of Revisions R2
Fri 15 Aug 2025 SPLASH OOPSLA ArtifactsNotification Round 2
Fri 22 Aug 2025 SPLASH Student Research CompetitionCamera ready
Fri 22 Aug 2025 PROPLCamera ready
Fri 22 Aug 2025 SPLASH OOPSLACamera Ready R2
Sun 24 Aug 2025 LMPLCamera Ready
Mon 25 Aug 2025 SPLASH Onward! EssaysCamera-Ready Deadline
Mon 25 Aug 2025 ErlangCamera ready
Mon 25 Aug 2025 FUNARCHCamera-ready Deadline
Mon 25 Aug 2025 PAINTCamera ready
Mon 25 Aug 2025 SPLASH Onward! PapersCamera-ready deadline
Mon 25 Aug 2025 VMILCamera Ready (Research papers)
Mon 25 Aug 2025 SchemeCamera-ready deadline
Mon 25 Aug 2025 miniKanren and Relational Programming WorkshopCamera-ready deadline
Mon 25 Aug 2025 The Scala WorkshopCamera-Ready Submission
Wed 27 Aug 2025 VMILAuthor Notification (Work-in-Progress papers)
Tue 23 Sep 2025 SPLASH -ENon-archival Extended Abstract Submissionnew
Sun 12 Oct 2025 ErlangWorkshop
Sun 12 Oct 2025 TyDeWorkshop
Mon 13 Oct 2025 PROPLWorkshop
Tue 14 Oct 2025 MPLRConference
Tue 14 Oct 2025 HATRAWorkshop
Mon 13 - Wed 15 Oct 2025 SAS Conference Date
Wed 15 Oct 2025 VMILWorkshop
Thu 16 Oct 2025 ML Family WorkshopWorkshop
Thu 16 Oct 2025 FProPerWorkshop
Thu 16 Oct 2025 SchemeWorkshop
Thu 16 - Fri 17 Oct 2025 HaskellSymposium
Fri 17 Oct 2025 OCamlWorkshop
Fri 17 Oct 2025 FUNARCHWorkshop
Fri 17 Oct 2025 miniKanren and Relational Programming WorkshopWorkshop
Thu 24 Apr 2025 SPLASH Onward! EssaysSubmission Deadline
Thu 24 Apr 2025 SPLASH Onward! PapersSubmission deadline
Tue 25 Mar 2025 SPLASH OOPSLASubmission R2
Thu 27 Feb 2025 ICFP PapersSubmission Deadline
Fri 21 Feb 2025 SPLASH OOPSLA ArtifactsNotification Round 1
Mon 6 - Fri 17 Jan 2025 SPLASH OOPSLA ArtifactsKick-the-Tires Round 1
Thu 16 Jan 2025 WorkshopsWorkshop Proposal Submission
Fri 3 Jan 2025 SPLASH OOPSLA ArtifactsSubmission Round 1