会议信息
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 浏览: 10179 关注: 0 参加: 0
录取率
| 时间 | 提交数 | 录取数 | 录取率(%) |
|---|---|---|---|
| 2004 | 20 | 11 | 55% |
相关会议
| 简称 | 全称 | 截稿日期 | 会议日期 |
|---|---|---|---|
| HAIS | International Conference on Hybrid Artificial Intelligence Systems | 2020-05-27 | 2020-09-04 |
| AES2E | International Conference on Advance in Environmental Science and Energy Engineering | 2021-07-10 | 2021-08-27 |
| ICCC | International Conference on Innovative Computing and Cloud Computing | 2011-07-20 | 2011-08-13 |
| LOPSTR | International Symposium on Logic-Based Program Synthesis and Transformation | 2024-05-10 | 2024-09-09 |
| ICCA | International Conference on Computer Applications | 2013-09-15 | 2013-12-19 |
| CAAI | International Conference on Control, Automation and Artificial Intelligence | 2017-06-15 | 2017-06-25 |
| AINTEC | Asian Internet Engineering Conference | 2024-05-08 | 2024-08-09 |
| ICCSA | International Conference on Computational Science and Its Applications | 2022-04-12 | 2022-07-04 |
| ICCA' | International Conference on Control and Automation | 2016-12-23 | 2017-01-13 |
| AME' | International Conference on Advances in Mechanical Engineering | 2023-08-12 | 2023-08-26 |
相关期刊
| CCF | 全称 | 影响因子 | 出版商 | ISSN |
|---|---|---|---|---|
| c | International Journal on Document Analysis and Recognition | 2.085 | Springer | 1433-2833 |
| International Journal of Information Sciences and Techniques | AIRCC | 2319-409X | ||
| Mechanical Systems and Signal Processing | 6.823 | Elsevier | 0888-3270 | |
| b | ACM Transactions on Reconfigurable Technology and Systems | 1.409 | ACM | 1936-7406 |
| Information Technology and Management | 1.533 | Springer | 1385-951X | |
| b | Formal Aspects of Computing | 1.226 | Springer | 0934-5043 |
| Information Technology & People | 1.263 | Emerald | 0959-3845 | |
| c | International Journal on Software Tools for Technology Transfer | Springer | 1433-2779 | |
| Cybernetics and Physics | IPME RAS | 2223-7038 | ||
| Archive for Mathematical Logic | 0.313 | Springer | 0933-5846 |
| 全称 | 影响因子 | 出版商 |
|---|---|---|
| International Journal on Document Analysis and Recognition | 2.085 | Springer |
| International Journal of Information Sciences and Techniques | AIRCC | |
| Mechanical Systems and Signal Processing | 6.823 | Elsevier |
| ACM Transactions on Reconfigurable Technology and Systems | 1.409 | ACM |
| Information Technology and Management | 1.533 | Springer |
| Formal Aspects of Computing | 1.226 | Springer |
| Information Technology & People | 1.263 | Emerald |
| International Journal on Software Tools for Technology Transfer | Springer | |
| Cybernetics and Physics | IPME RAS | |
| Archive for Mathematical Logic | 0.313 | Springer |
推荐