会議情報
ICFP 2024: ACM SIGPLAN International Conference on Functional Programming
https://icfp24.sigplan.org/提出日: |
2024-02-28 |
通知日: |
2024-05-20 |
会議日: |
2024-09-02 |
場所: |
Milan, Italy |
年: |
29 |
CCF: b CORE: a* QUALIS: a2 閲覧: 24190 追跡: 15 出席: 3
論文募集
PACMPL issue ICFP 2024 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 2024 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. Submissions from underrepresented groups are encouraged. 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 2023-12-13
合格率
時間 | 提出 | 受け入れ | 受け入れ(%) |
---|---|---|---|
2009 | 85 | 26 | 30.6% |
2008 | 87 | 29 | 33.3% |
2007 | 103 | 26 | 25.2% |
2006 | 74 | 24 | 32.4% |
2005 | 87 | 26 | 29.9% |
2004 | 80 | 21 | 26.3% |
2003 | 95 | 24 | 25.3% |
2002 | 76 | 24 | 31.6% |
2001 | 66 | 23 | 34.8% |
2000 | 110 | 24 | 21.8% |
1999 | 81 | 25 | 30.9% |
1998 | 70 | 30 | 42.9% |
1997 | 78 | 25 | 32.1% |
1996 | 83 | 25 | 30.1% |
関連会議
省略名 | 完全な名前 | 提出日 | 会議日 |
---|---|---|---|
MCCMB | Moscow Conference on Computational Molecular Biology | 2019-03-10 | 2019-07-27 |
JTRES | International Workshop on Java Technologies for Real-time and Embedded Systems | 2016-06-12 | 2016-08-29 |
ASPLOS | International Conference on Architectural Support for Programming Languages and Operating Systems | 2024-10-18 | 2025-04-27 |
COLT | Annual Conference on Learning Theory | 2024-02-09 | 2024-06-30 |
POPL | ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages | 2024-07-11 | 2025-01-19 |
I-SPAN | International Symposium on Pervasive Systems, Algorithms, and Networks | 2019-05-31 | 2019-09-16 |
PEPM | ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation | 2024-10-14 | 2025-01-19 |
MFPS | International Conference on the Mathematical Foundations of Programming Semantics | 2015-04-03 | 2015-06-22 |
ESOP | European Symposium on Programming | 2024-10-10 | 2025-05-03 |
iSES | IEEE International Symposium on Smart Electronic Systems | 2023-07-11 | 2023-12-18 |
関連仕訳帳
CCF | 完全な名前 | インパクト ・ ファクター | 出版社 | ISSN |
---|---|---|---|---|
IEEE Internet of Things Magazine | IEEE | 2576-3180 | ||
b | IEEE Transactions on Automation Science and Engineering | 5.900 | IEEE | 1545-5955 |
Image Processing On Line | IPOL | 2105-1232 | ||
Spatial Statistics | 2.100 | Elsevier | 2211-6753 | |
IEEE Transactions on Intelligent Vehicles | 14.00 | IEEE | 2379-8858 | |
Journal of Applied Mathematics | 1.200 | Hindawi | 1110-757X | |
IEEE Open Journal of Control Systems | IEEE | 2694-085X | ||
c | Real-Time Systems | 1.400 | Springer | 0922-6443 |
Journal of Computational Analysis and Applications | Springer | 1521-1398 | ||
c | IEEE Transactions on Circuits and Systems I: Regular Papers | 5.200 | IEEE | 1549-8328 |
完全な名前 | インパクト ・ ファクター | 出版社 |
---|---|---|
IEEE Internet of Things Magazine | IEEE | |
IEEE Transactions on Automation Science and Engineering | 5.900 | IEEE |
Image Processing On Line | IPOL | |
Spatial Statistics | 2.100 | Elsevier |
IEEE Transactions on Intelligent Vehicles | 14.00 | IEEE |
Journal of Applied Mathematics | 1.200 | Hindawi |
IEEE Open Journal of Control Systems | IEEE | |
Real-Time Systems | 1.400 | Springer |
Journal of Computational Analysis and Applications | Springer | |
IEEE Transactions on Circuits and Systems I: Regular Papers | 5.200 | IEEE |
おすすめ