会議情報
ICFP 2022: ACM SIGPLAN International Conference on Functional Programming
https://icfp22.sigplan.org/
提出日:
2022-03-02
通知日:
2022-06-30
会議日:
2022-09-11
場所:
Ljubljana, Slovenia
年:
27
CCF: b   CORE: a*   QUALIS: a2   閲覧: 17323   追跡: 14   出席: 2

論文募集
PACMPL issue ICFP 2022 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; modules; components and composition; metaprogramming; macros; pattern matching; type systems; type inference; dependent types; session types; gradual typing; refinement 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 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.

    Foundations: formal semantics; lambda calculus; program equivalence; rewriting; type theory; logic; category theory; monads; continuations; control; state; effects; 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; XML processing; scientific and numerical computing; graphical user interfaces; graphics and multimedia; GPU programming; scripting; system administration; security.

    Education: teaching introductory programming; parallel 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 2022 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. Please contact the associate editor if you have questions or are concerned about the appropriateness of a topic.
最終更新 Dou Sun 2022-01-28
合格率
時間提出受け入れ受け入れ(%)
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%
関連会議
CCFCOREQUALIS省略名完全な名前提出日通知日会議日
MCCMBMoscow Conference on Computational Molecular Biology2019-03-102019-04-012019-07-27
b3JTRESInternational Workshop on Java Technologies for Real-time and Embedded Systems2016-06-122016-07-202016-08-29
aa*a1ASPLOSInternational Conference on Architectural Support for Programming Languages and Operating Systems2023-11-232024-03-062024-04-28
ba*a2COLTAnnual Conference on Learning Theory2022-02-09 2022-07-02
aa*a1POPLACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages2021-07-082021-09-292022-01-16
bb1I-SPANInternational Symposium on Pervasive Systems, Algorithms, and Networks2019-05-312019-06-142019-09-16
cbb1PEPMACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation2021-10-072021-11-112022-01-16
b4MFPSInternational Conference on the Mathematical Foundations of Programming Semantics2015-04-032015-05-152015-06-22
aa2ESOPEuropean Symposium on Programming2022-10-132022-12-222023-04-22
iSESIEEE International Symposium on Smart Electronic Systems2020-08-162020-09-152023-12-18
関連仕訳帳
CCF完全な名前インパクト ・ ファクター出版社ISSN
VLSI DesignHindawi1065-514X
cInternational Journal on Document Analysis and Recognition2.085Springer1433-2833
Mathematical Programming3.995Springer0025-5610
bScience of Computer Programming0.863Elsevier0167-6423
bComputational Complexity0.487Springer1016-3328
EURASIP Journal on Advances in Signal Processing1.630Springer1687-6172
Magnetic Resonance Imaging2.546Elsevier0730-725X
cSignal Processing: Image Communication3.256Elsevier0923-5965
Journal of Universal Computer Science0.546Verlag der Technischen Universitat Graz0948-695x
IEEE Transactions on Signal Processing5.230IEEE1053-587X
完全な名前インパクト ・ ファクター出版社
VLSI DesignHindawi
International Journal on Document Analysis and Recognition2.085Springer
Mathematical Programming3.995Springer
Science of Computer Programming0.863Elsevier
Computational Complexity0.487Springer
EURASIP Journal on Advances in Signal Processing1.630Springer
Magnetic Resonance Imaging2.546Elsevier
Signal Processing: Image Communication3.256Elsevier
Journal of Universal Computer Science0.546Verlag der Technischen Universitat Graz
IEEE Transactions on Signal Processing5.230IEEE
おすすめ