会議情報
TFP 2020: Trends in Functional Programming
http://www.cse.chalmers.se/~rjmh/tfp/
提出日:
2019-11-15
通知日:
会議日:
2020-02-13
場所:
Krakow, Poland
年:
21
閲覧: 9066   追跡: 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
関連会議
関連仕訳帳
CCF完全な名前インパクト ・ ファクター出版社ISSN
Cogent EngineeringCogent OA2331-1916
IEEE Internet of Things MagazineIEEE2576-3180
IEEE Transactions on Education2.100IEEE0018-9359
c International Journal of Pattern Recognition and Artificial Intelligence0.900World Scientific0218-0014
Spatial Statistics2.100Elsevier2211-6753
Journal of Software Maintenance and Evolution: Research and Practice1.700John Wiley & Sons, Ltd.2047-7481
Nano Communication Networks2.900Elsevier1878-7789
Personalized Medicine UniverseElsevier2186-4950
Cognitive Processing1.700Springer1612-4782
Image Processing On LineIPOL2105-1232