会议信息
TFP 2020: Trends in Functional Programming
http://www.cse.chalmers.se/~rjmh/tfp/
截稿日期:
2019-11-15
通知日期:
会议日期:
2020-02-13
会议地点:
Krakow, Poland
届数:
21
浏览: 5613   关注: 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简称全称截稿日期通知日期会议日期
ba*a2ICFPACM SIGPLAN International Conference on Functional Programming2024-02-282024-05-202024-09-02
b3JTRESInternational Workshop on Java Technologies for Real-time and Embedded Systems2016-06-122016-07-202016-08-29
ba*a2COLTAnnual Conference on Learning Theory2024-02-092024-05-102024-06-30
cbb1ICSRInternational Conference on Software and Systems Reuse2022-02-042022-03-062022-06-15
aa2ESOPEuropean Symposium on Programming2023-10-122023-12-212024-04-06
GISTAMInternational Conference on Geographical Information Systems Theory, Applications and Management2015-12-102016-02-032016-04-26
ICFNDSInternational Conference on Future Networks and Distributed Systems2019-05-152019-06-012019-07-01
DIKW-RAData, Information, Knowledge and Wisdom Research and Applications Conference2021-08-302021-09-152021-12-17
IWDWInternational Workshop on Digital-forensics and Watermarking2016-06-302016-08-012016-09-17
b4MFPSInternational Conference on the Mathematical Foundations of Programming Semantics2015-04-032015-05-152015-06-22
相关期刊
CCF全称影响因子出版商ISSN
Mathematical Programming3.995Springer0025-5610
VLSI DesignHindawi1065-514X
bComputational Complexity0.487Springer1016-3328
cInternational Journal on Document Analysis and Recognition2.085Springer1433-2833
bScience of Computer Programming0.863Elsevier0167-6423
Foundations and Trends in Signal ProcessingNow Publishers Inc.1932-8346
bIEEE Transaction on Communications1.365IEEE0090-6778
IEEE Transactions on Communications5.690IEEE0090-6778
Mathematical Programming Computation Springer1867-2949
cWireless Communications and Mobile Computing1.899Hindawi1530-8669
推荐