会議情報
TFP 2020: Trends in Functional Programming
http://www.cse.chalmers.se/~rjmh/tfp/提出日: |
2019-11-15 |
通知日: |
|
会議日: |
2020-02-13 |
場所: |
Krakow, Poland |
年: |
21 |
閲覧: 5695 追跡: 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
関連会議
省略名 | 完全な名前 | 提出日 | 会議日 |
---|---|---|---|
ICFP | ACM SIGPLAN International Conference on Functional Programming | 2024-02-28 | 2024-09-02 |
JTRES | International Workshop on Java Technologies for Real-time and Embedded Systems | 2016-06-12 | 2016-08-29 |
COLT | Annual Conference on Learning Theory | 2024-02-09 | 2024-06-30 |
ICSR | International Conference on Software and Systems Reuse | 2022-02-04 | 2022-06-15 |
ESOP | European Symposium on Programming | 2023-10-12 | 2024-04-06 |
GISTAM | International Conference on Geographical Information Systems Theory, Applications and Management | 2015-12-10 | 2016-04-26 |
ICFNDS | International Conference on Future Networks and Distributed Systems | 2019-05-15 | 2019-07-01 |
DIKW-RA | Data, Information, Knowledge and Wisdom Research and Applications Conference | 2021-08-30 | 2021-12-17 |
IWDW | International Workshop on Digital-forensics and Watermarking | 2016-06-30 | 2016-09-17 |
MFPS | International Conference on the Mathematical Foundations of Programming Semantics | 2015-04-03 | 2015-06-22 |
関連仕訳帳
CCF | 完全な名前 | インパクト ・ ファクター | 出版社 | ISSN |
---|---|---|---|---|
Mathematical Programming | 3.995 | Springer | 0025-5610 | |
VLSI Design | Hindawi | 1065-514X | ||
b | Computational Complexity | 0.487 | Springer | 1016-3328 |
c | International Journal on Document Analysis and Recognition | 2.085 | Springer | 1433-2833 |
b | Science of Computer Programming | 0.863 | Elsevier | 0167-6423 |
Foundations and Trends in Signal Processing | Now Publishers Inc. | 1932-8346 | ||
b | IEEE Transaction on Communications | 1.365 | IEEE | 0090-6778 |
IEEE Transactions on Communications | 5.690 | IEEE | 0090-6778 | |
Mathematical Programming Computation | Springer | 1867-2949 | ||
c | Wireless Communications and Mobile Computing | 1.899 | Hindawi | 1530-8669 |
完全な名前 | インパクト ・ ファクター | 出版社 |
---|---|---|
Mathematical Programming | 3.995 | Springer |
VLSI Design | Hindawi | |
Computational Complexity | 0.487 | Springer |
International Journal on Document Analysis and Recognition | 2.085 | Springer |
Science of Computer Programming | 0.863 | Elsevier |
Foundations and Trends in Signal Processing | Now Publishers Inc. | |
IEEE Transaction on Communications | 1.365 | IEEE |
IEEE Transactions on Communications | 5.690 | IEEE |
Mathematical Programming Computation | Springer | |
Wireless Communications and Mobile Computing | 1.899 | Hindawi |
おすすめ