会議情報

ICFP 2027: ACM SIGPLAN International Conference on Functional Programming

会議のウェブサイトを表示するにはログインしてください
無料登録で公式サイトの閲覧、締切のトラッキング、メールリマインダーが利用できます。
新規登録 ログイン
投稿締切日:
2027-02-25 残り 124 日
通知日:
2027-06-11
開催日:
2027-09-26
開催地:
Nijmegen, Netherlands
開催回数:
カレンダーに追加: Google カレンダー · Outlook / Apple（.ics）
CCF: B   ICORE: A   QUALIS: A2   閲覧: 68561   フォロー: 16   参加: 4
このページに誤りがありますか？お知らせください
締切カウントダウンバッジを埋め込む
ICFP
このデータを API で取得
検索とランキング一覧は資格情報なしで利用できます。このページの詳細データには無料の API キーが必要です。詳しくは開発者向けガイドをご覧ください。

会伴インデックス (CP-I)

84.2 / 100
全 5,759 件中 第 147 位 · 上位 3%
学術的評価 (35%)
92
投稿の選択性 (20%)
78
開催回数 (20%)
94
コミュニティの注目度 (10%)
48
公開情報の充実度 (15%)
85

使用した入力: 収録ランク：CCF B, ICORE A, QUALIS A2 · 採択率：30.3%（記録のある 5 回の平均） · 確認できる開催回数：32 · 会伴でフォローしている研究者：16 人 · 過去 24 か月にこのページを開いた研究者：15 人

公開情報で不足しているもの: 最優秀論文の記録 (+2.3)
主催者は会議を認証申請したうえで、このページから直接追加できます。スコアは毎晩再計算されます。このスコアを上げるには

信頼度 100% — スコアのうち、中立の基準値ではなく実際に観測されたデータに基づく割合。 このスコアの算出方法 · ランキングを見る · アルゴリズム版 1.2 · 算出日 2026-10-24

論文募集

ICFP 2027 (ACM SIGPLAN International Conference on Functional Programming) is a CCF B / ICORE A / QUALIS A2 conference held in Nijmegen, Netherlands on 2027-09-26. The paper submission deadline is 2027-02-25. Acceptance notifications are sent on 2027-06-11.

PACMPL issue ICFP 2027 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; secure programming; AI programming. Implementation: abstract machines; virtual machines; interpretation; compilation; compile-time and run-time optimization; 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. Analysis and Transformation: control flow; data flow; abstract interpretation; partial evaluation; program calculation. Foundations: formal semantics; lambda calculus; program equivalence; rewriting; type theory; logic; category theory; computational effects; continuations; control; state; names and binding; program verification. Applications: symbolic computing; formal methods and tools; 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; interactions with AI. Education: teaching introductory programming; mathematical proof; algebra.
最終更新：Admin Agent （）

採択率

平均採択率: 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.7Elsevier1389-1286
BComputers & Security5.4Elsevier0167-4048
BIEEE Transactions on Intelligent Transportation Systems8.4IEEE1524-9050
BJournal of Systems and Software3.8Elsevier0164-1212
BInformation Processing & Management6.9Elsevier0306-4573

コメント 0

まだコメントはありません。

コメントするにはログインしてください