会议信息

ICFP 2026: ACM SIGPLAN International Conference on Functional Programming

请登录查看会议网址
免费注册：查看官网链接、跟踪截稿日期，并接收邮件提醒。
登录 注册
嵌入截止倒计时徽章
ICFP
截稿日期:
2026-02-19
通知日期:
2026-05-14
会议日期:
2026-08-23
会议地点:
USA
届数:
31
CCF: B   ICORE: A   QUALIS: A2   浏览: 66240   关注: 16   参加: 4

征稿

ICFP 2026 (ACM SIGPLAN International Conference on Functional Programming) is a CCF B / ICORE A / QUALIS A2 conference held in USA on 2026-08-23. The paper submission deadline is 2026-02-19. Acceptance notifications are sent on 2026-05-14.

PACMPL issue ICFP 2025 seeks original papers on the art and science of functional programming. Submissions are invited on all topics from principles to practice, from foundations to features, and from abstraction to application. The scope includes all languages that encourage functional programming, including both purely applicative and imperative languages, as well as languages with objects, concurrency, or parallelism. Topics of interest include (but are not limited to): Language Design: concurrency, parallelism, and distribution; modularity; components and composition; meta-programming; macros; pattern matching; type systems; type inference; dependent types; effect types; gradual types; refinement types; session types; interoperability; domain-specific languages; imperative programming; object-oriented programming; logic programming; probabilistic programming; reactive programming; generic programming; bidirectional programming. Implementation: abstract machines; virtual machines; interpretation; compilation; compile-time and run-time optimisation; garbage collection and memory management; runtime systems; multi-threading; exploiting parallel hardware; interfaces to foreign functions, services, components, or low-level machine resources. Software-Development Techniques: algorithms and data structures; design patterns; specification; verification; validation; proof assistants; debugging; testing; tracing; profiling; build systems; program synthesis. Foundations: formal semantics; lambda calculus; program equivalence; rewriting; type theory; logic; category theory; computational effects; continuations; control; state; names and binding; program verification. Analysis and Transformation: control flow; data flow; abstract interpretation; partial evaluation; program calculation. Applications: symbolic computing; formal-methods tools; artificial intelligence; systems programming; distributed systems and web programming; hardware design; databases; scientific and numerical computing; graphical user interfaces; graphics and multimedia; GPU programming; scripting; system administration; security. Education: teaching introductory programming; mathematical proof; algebra. Submissions will be evaluated according to their relevance, correctness, significance, originality, and clarity. Each submission should explain its contributions in both general and technical terms, clearly identifying what has been accomplished, explaining why it is significant, and comparing it with previous work. The technical content should be accessible to a broad audience. PACMPL issue ICFP 2025 also welcomes submissions in two separate categories — Functional Pearls and Experience Reports — that must be marked as such when submitted and that need not report original research results. Detailed guidelines on both categories are given at the end of this call. In an effort to achieve a balanced, diverse program, each author may be listed as a (co)author on a maximum of four submissions. Authors who require financial support to attend the conference can apply for PAC funding (http://www.sigplan.org/PAC/). The General Chair and PC Chair may not submit papers. PC members (other than the PC Chair) may submit papers. Please contact the Program Chair if you have questions or are concerned about the appropriateness of a topic.
由 Dou Sun 最后更新于

录用率

平均录用率: 30.5% 14 年间 (1996–2009).

年份提交数录用数录用率(%)
2009852630.6%
2008872933.3%
20071032625.2%
2006742432.4%
2005872629.9%
2004802126.3%
2003952425.3%
2002762431.6%
2001662334.8%
20001102421.8%
1999812530.9%
1998703042.9%
1997782532.1%
1996832530.1%

相关会议

相关期刊

CCF全称影响因子出版商ISSN
Programming and Computer Software0.5Springer0361-7688
BSoftware & Systems Modeling3.2Springer1619-1366
BPattern Recognition7.6Elsevier0031-3203
BIEEE Transactions on Neural Networks and Learning Systems8.9IEEE1045-9227
BInformation Sciences6.0Elsevier0020-0255
BComputer Networks4.6Elsevier1389-1286
BComputers & Security5.4Elsevier0167-4048
BIEEE Transactions on Intelligent Transportation Systems8.4IEEE1524-9050
BJournal of Systems and Software4.1Elsevier0164-1212
BInformation Processing & Management6.9Elsevier0306-4573

评论 0

暂无评论。

请登录后发表评论