会议信息
FTfJP 2012: International Workshop on Formal Techniques for Java-like Programs
http://www.comp.nus.edu.sg/~ftfjp/截稿日期: |
|
通知日期: |
2012-04-29 |
会议日期: |
2012-06-12 |
会议地点: |
Beijing, China |
届数: |
14 |
CORE: c QUALIS: b4 浏览: 13037 关注: 0 参加: 0
征稿
录取率
| 时间 | 提交数 | 录取数 | 录取率(%) |
|---|---|---|---|
| 2004 | 20 | 11 | 55% |
相关会议
| CCF | CORE | QUALIS | 简称 | 全称 | 截稿日期 | 通知日期 | 会议日期 |
|---|---|---|---|---|---|---|---|
| c | b1 | ICCSA | International Conference on Computational Science and Its Applications | 2022-04-12 | 2022-05-10 | 2022-07-04 | |
| IT' | International Information Technology Conference | 2025-01-15 | 2025-01-31 | 2025-02-19 | |||
| ICCA' | International Conference on Control and Automation | 2016-12-23 | 2017-01-13 | ||||
| AINTEC | Asian Internet Engineering Conference | 2024-05-08 | 2024-06-18 | 2024-08-09 | |||
| CAAI | International Conference on Control, Automation and Artificial Intelligence | 2017-06-15 | 2017-06-25 | ||||
| ICCA | International Conference on Computer Applications | 2013-09-15 | 2013-09-20 | 2013-12-19 | |||
| c | b | b3 | LOPSTR | International Symposium on Logic-Based Program Synthesis and Transformation | 2025-05-09 | 2025-06-27 | 2025-09-09 |
| ICCC | International Conference on Innovative Computing and Cloud Computing | 2011-07-20 | 2011-07-20 | 2011-08-13 | |||
| BDMIP | International Conference on Big Data Mining and Information Processing | 2021-06-20 | 2021-06-30 | 2021-07-23 | |||
| c | b4 | HAIS | International Conference on Hybrid Artificial Intelligence Systems | 2020-05-27 | 2020-06-12 | 2020-09-04 |
| 简称 | 全称 | 会议日期 |
|---|---|---|
| ICCSA | International Conference on Computational Science and Its Applications | 2022-07-04 |
| IT' | International Information Technology Conference | 2025-02-19 |
| ICCA' | International Conference on Control and Automation | 2017-01-13 |
| AINTEC | Asian Internet Engineering Conference | 2024-08-09 |
| CAAI | International Conference on Control, Automation and Artificial Intelligence | 2017-06-25 |
| ICCA | International Conference on Computer Applications | 2013-12-19 |
| LOPSTR | International Symposium on Logic-Based Program Synthesis and Transformation | 2025-09-09 |
| ICCC | International Conference on Innovative Computing and Cloud Computing | 2011-08-13 |
| BDMIP | International Conference on Big Data Mining and Information Processing | 2021-07-23 |
| HAIS | International Conference on Hybrid Artificial Intelligence Systems | 2020-09-04 |
相关期刊
| CCF | 全称 | 影响因子 | 出版商 | ISSN |
|---|---|---|---|---|
| c | International Journal of Pattern Recognition and Artificial Intelligence | 0.900 | World Scientific | 0218-0014 |
| Journal of the Association for Information Science and Technology | 2.800 | John Wiley & Sons | 2330-1643 | |
| International Journal of Information Security | 2.400 | Springer | 1615-5262 | |
| International Journal of Advanced Computer Science and Applications | 0.700 | Science and Information | 2158-107X | |
| c | Wireless Networks | 2.100 | Springer | 1022-0038 |
| IEICE Transactions on Communications | IEICE | |||
| Discrete Dynamics in Nature and Society | 1.300 | Hindawi | 1026-0226 | |
| European Journal of Operational Research | 6.000 | Elsevier | 0377-2217 | |
| Biologically Inspired Cognitive Architectures | Elsevier | 2212-683X | ||
| c | International Journal of Cooperative Information Systems | 0.500 | World Scientific | 0218-8430 |
| 全称 | 影响因子 | 出版商 |
|---|---|---|
| International Journal of Pattern Recognition and Artificial Intelligence | 0.900 | World Scientific |
| Journal of the Association for Information Science and Technology | 2.800 | John Wiley & Sons |
| International Journal of Information Security | 2.400 | Springer |
| International Journal of Advanced Computer Science and Applications | 0.700 | Science and Information |
| Wireless Networks | 2.100 | Springer |
| IEICE Transactions on Communications | IEICE | |
| Discrete Dynamics in Nature and Society | 1.300 | Hindawi |
| European Journal of Operational Research | 6.000 | Elsevier |
| Biologically Inspired Cognitive Architectures | Elsevier | |
| International Journal of Cooperative Information Systems | 0.500 | World Scientific |