会議情報
TFP 2020: Trends in Functional Programming
http://www.cse.chalmers.se/~rjmh/tfp/
提出日:
2019-11-15
通知日:
会議日:
2020-02-13
場所:
Krakow, Poland
年:
21
閲覧: 5612   追跡: 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
おすすめ