会議情報
TFP 2020: Trends in Functional Programming
http://www.cse.chalmers.se/~rjmh/tfp/
提出日:
2019-11-15
通知日:
会議日:
2020-02-13
場所:
Krakow, Poland
年:
21
閲覧: 10114   追跡: 0   出席: 0

論文募集
The symposium recognizes that new trends may arise through various routes. As part of the Symposium's focus on trends we therefore identify the following five article categories. High-quality articles are solicited in any of these categories:

    Research Articles:
    Leading-edge, previously unpublished research work;
    Position Articles:
    On what new trends should or should not be;
    Project Articles:
    Descriptions of recently started new projects;
    Evaluation Articles:
    What lessons can be drawn from a finished project;
    Overview Articles:
    Summarizing work with respect to a trendy subject. 

Articles must be original and not simultaneously submitted for publication to any other forum. They may consider any aspect of functional programming: theoretical, implementation-oriented, or experience-oriented. Applications of functional programming techniques to other languages are also within the scope of the symposium.

Topics suitable for the symposium include, but are not limited to:

    Functional programming and multicore/manycore computing
    Functional programming in the cloud
    High performance functional computing
    Extra-functional (behavioural) properties of functional programs
    Dependently typed functional programming
    Validation and verification of functional programs
    Debugging and profiling for functional languages
    Functional programming in different application areas:
    security, mobility, telecommunications applications, embedded
    systems, global computing, grids, etc.
    Interoperability with imperative programming languages
    Novel memory management techniques
    Program analysis and transformation techniques
    Empirical performance studies
    Abstract/virtual machines and compilers for functional languages
    (Embedded) domain specific languages
    New implementation strategies
    Any new emerging trend in the functional programming area 
最終更新 Dou Sun 2020-04-01
関連会議
CCFCOREQUALIS省略名完全な名前提出日通知日会議日
b4IGSCInternational Green and Sustainable Computing Conference2024-08-052024-09-132024-11-02
aaa2PPoPPACM SIGPLAN Annual Symposium Principles and Practice of Parallel Programming2025-09-012025-11-102026-01-31
bb1EUSIPCOEuropean Signal Processing Conference2017-03-052017-05-252017-08-28
ab1ICLPInternational Conference on Logic Programming2022-01-142022-03-142022-07-31
b1EuroGPEuropean Conference on Genetic Programming2025-11-012026-01-102026-04-08
aa2ESOPEuropean Symposium on Programming2024-10-102024-12-192025-05-03
baa2CPInternational Conference on Principles and Practice of Constraint Programming2025-03-202025-05-292025-08-10
cbb1ILPInternational Conference on Inductive Logic Programming2021-06-252021-08-052021-10-25
ab1FLOPSInternational Symposium on Functional and Logic Programming2011-12-162012-02-032012-05-23
ba*a2ICFPACM SIGPLAN International Conference on Functional Programming2026-02-192026-05-142026-08-23
関連仕訳帳
CCF完全な名前インパクト ・ ファクター出版社ISSN
bJournal of Functional Programming1.100Cambridge University Press0956-7968
Mathematical Programming2.200Springer0025-5610
Scientific ProgrammingHindawi1058-9244
cTheory and Practice of Logic Programming1.400Cambridge University Press1471-0684
International Journal of Parallel Programming0.900Springer0885-7458
bScience of Computer Programming1.4Elsevier0167-6423
Foundations and Trends in Signal Processing1.700Now Publishers Inc.1932-8346
IEEE Open Journal of Signal Processing2.900IEEE2644-1322
IEEE Transactions on Green Communications and Networking5.300IEEE2473-2400
Mathematical Programming Computation4.300Springer1867-2949