会议信息
TFP 2020: Trends in Functional Programming
http://www.cse.chalmers.se/~rjmh/tfp/截稿日期: |
2019-11-15 |
通知日期: |
|
会议日期: |
2020-02-13 |
会议地点: |
Krakow, Poland |
届数: |
21 |
浏览: 10099 关注: 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 | CORE | QUALIS | 简称 | 全称 | 截稿日期 | 通知日期 | 会议日期 |
|---|---|---|---|---|---|---|---|
| b4 | IGSC | International Green and Sustainable Computing Conference | 2024-08-05 | 2024-09-13 | 2024-11-02 | ||
| a | a | a2 | PPoPP | ACM SIGPLAN Annual Symposium Principles and Practice of Parallel Programming | 2025-09-01 | 2025-11-10 | 2026-01-31 |
| b | b1 | EUSIPCO | European Signal Processing Conference | 2017-03-05 | 2017-05-25 | 2017-08-28 | |
| a | b1 | ICLP | International Conference on Logic Programming | 2022-01-14 | 2022-03-14 | 2022-07-31 | |
| b1 | EuroGP | European Conference on Genetic Programming | 2025-11-01 | 2026-01-10 | 2026-04-08 | ||
| a | a2 | ESOP | European Symposium on Programming | 2024-10-10 | 2024-12-19 | 2025-05-03 | |
| b | a | a2 | CP | International Conference on Principles and Practice of Constraint Programming | 2025-03-20 | 2025-05-29 | 2025-08-10 |
| c | b | b1 | ILP | International Conference on Inductive Logic Programming | 2021-06-25 | 2021-08-05 | 2021-10-25 |
| a | b1 | FLOPS | International Symposium on Functional and Logic Programming | 2011-12-16 | 2012-02-03 | 2012-05-23 | |
| b | a* | a2 | ICFP | ACM SIGPLAN International Conference on Functional Programming | 2026-02-19 | 2026-05-14 | 2026-08-23 |
| 简称 | 全称 | 会议日期 |
|---|---|---|
| IGSC | International Green and Sustainable Computing Conference | 2024-11-02 |
| PPoPP | ACM SIGPLAN Annual Symposium Principles and Practice of Parallel Programming | 2026-01-31 |
| EUSIPCO | European Signal Processing Conference | 2017-08-28 |
| ICLP | International Conference on Logic Programming | 2022-07-31 |
| EuroGP | European Conference on Genetic Programming | 2026-04-08 |
| ESOP | European Symposium on Programming | 2025-05-03 |
| CP | International Conference on Principles and Practice of Constraint Programming | 2025-08-10 |
| ILP | International Conference on Inductive Logic Programming | 2021-10-25 |
| FLOPS | International Symposium on Functional and Logic Programming | 2012-05-23 |
| ICFP | ACM SIGPLAN International Conference on Functional Programming | 2026-08-23 |
相关期刊
| CCF | 全称 | 影响因子 | 出版商 | ISSN |
|---|---|---|---|---|
| b | Journal of Functional Programming | 1.100 | Cambridge University Press | 0956-7968 |
| Mathematical Programming | 2.200 | Springer | 0025-5610 | |
| Scientific Programming | Hindawi | 1058-9244 | ||
| c | Theory and Practice of Logic Programming | 1.400 | Cambridge University Press | 1471-0684 |
| International Journal of Parallel Programming | 0.900 | Springer | 0885-7458 | |
| b | Science of Computer Programming | 1.4 | Elsevier | 0167-6423 |
| Foundations and Trends in Signal Processing | 1.700 | Now Publishers Inc. | 1932-8346 | |
| IEEE Open Journal of Signal Processing | 2.900 | IEEE | 2644-1322 | |
| IEEE Transactions on Green Communications and Networking | 5.300 | IEEE | 2473-2400 | |
| Mathematical Programming Computation | 4.300 | Springer | 1867-2949 |
| 全称 | 影响因子 | 出版商 |
|---|---|---|
| Journal of Functional Programming | 1.100 | Cambridge University Press |
| Mathematical Programming | 2.200 | Springer |
| Scientific Programming | Hindawi | |
| Theory and Practice of Logic Programming | 1.400 | Cambridge University Press |
| International Journal of Parallel Programming | 0.900 | Springer |
| Science of Computer Programming | 1.4 | Elsevier |
| Foundations and Trends in Signal Processing | 1.700 | Now Publishers Inc. |
| IEEE Open Journal of Signal Processing | 2.900 | IEEE |
| IEEE Transactions on Green Communications and Networking | 5.300 | IEEE |
| Mathematical Programming Computation | 4.300 | Springer |