会議情報
TFP 2020: Trends in Functional Programming
会議のウェブサイトを表示するにはログインしてください

提出日:
2019-11-15
通知日:
会議日:
2020-02-13
場所:
Krakow, Poland
年:
21
閲覧: 11585   追跡: 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省略名完全な名前提出日通知日会議日
baa2CPInternational Conference on Principles and Practice of Constraint Programming2026-02-282026-04-302026-07-20
ba*a2ICFPACM SIGPLAN International Conference on Functional Programming2026-02-192026-05-142026-08-23
ab1ICLPInternational Conference on Logic Programming2026-01-312026-03-122026-07-20
b1EuroGPEuropean Conference on Genetic Programming2025-11-012026-01-102026-04-08
aaa2PPoPPACM SIGPLAN Annual Symposium Principles and Practice of Parallel Programming2025-09-012025-11-102026-01-31
aa2ESOPEuropean Symposium on Programming2024-10-102024-12-192025-05-03
b4IGSCInternational Green and Sustainable Computing Conference2024-08-052024-09-132024-11-02
cbb1ILPInternational Conference on Inductive Logic Programming2021-06-252021-08-052021-10-25
bb1EUSIPCOEuropean Signal Processing Conference2017-03-052017-05-252017-08-28
ab1FLOPSInternational Symposium on Functional and Logic Programming2011-12-162012-02-032012-05-23
関連仕訳帳
CCF完全な名前インパクト ・ ファクター出版社ISSN
IEEE Transactions on Green Communications and Networking6.7IEEE2473-2400
Mathematical Programming Computation3.6Springer1867-2949
cProceedings of the ACM on Programming Languages2.8ACM2475-1421
IEEE Open Journal of Signal Processing2.7IEEE2644-1322
Mathematical Programming2.5Springer0025-5610
Foundations and Trends in Signal Processing1.700Now Publishers Inc.1932-8346
cTheory and Practice of Logic Programming1.400Cambridge University Press1471-0684
bScience of Computer Programming1.4Elsevier0167-6423
bJournal of Functional Programming1.100Cambridge University Press0956-7968
International Journal of Parallel Programming0.900Springer0885-7458