会议信息
FMCO 2011: International Symposium on Formal Methods for Components and Objects
http://fmco.liacs.nl/fmco11.html截稿日期: |
|
通知日期: |
2011-09-07 |
会议日期: |
2011-10-03 |
会议地点: |
Turin, Italy |
届数: |
10 |
浏览: 18303 关注: 0 参加: 0
征稿
相关会议
| CCF | CORE | QUALIS | 简称 | 全称 | 截稿日期 | 通知日期 | 会议日期 |
|---|---|---|---|---|---|---|---|
| a | b1 | FM | International Symposium on Formal Methods | 2025-11-25 | 2026-02-06 | 2026-05-18 | |
| c | b1 | ICFEM | International Conference on Formal Engineering Methods | 2025-05-25 | 2025-08-01 | 2025-11-10 | |
| c | b | b1 | ICICS | International Conference on Information and Communications Security | 2025-05-23 | 2025-07-21 | 2025-10-29 |
| c | b1 | FMCAD | Formal Methods in Computer-Aided Design | 2025-04-20 | 2025-07-01 | 2025-10-06 | |
| c | b4 | FMICS | International Conference on Formal Methods for Industrial Critical Systems | 2022-05-05 | 2022-06-24 | 2022-09-14 | |
| b | b1 | iFM | International Conference on integrated Formal Methods | 2022-02-11 | 2022-03-18 | 2022-06-07 | |
| b | b2 | SERVICES | World Congress on Services | 2021-04-15 | 2021-06-17 | 2021-09-05 | |
| c | WCOP | International Doctoral Symposium on Components and Architecture | 2015-01-25 | 2015-02-16 | 2015-05-04 | ||
| c | b1 | FMOODS | International Conference on Formal Methods for Open Object-based Distributed Systems | 2013-02-11 | 2013-03-18 | 2013-06-03 | |
| c | b | b1 | TOOLS Europe | International Conference on Objects, Models, Components and Patterns | 2012-01-06 | 2012-03-02 | 2012-05-29 |
相关期刊
| CCF | 全称 | 影响因子 | 出版商 | ISSN |
|---|---|---|---|---|
| IEEE Wireless Communications Letters | 5.5 | IEEE | 2162-2337 | |
| Journal of Chemical Theory and Computation | 5.5 | American Chemical Society | 1549-9618 | |
| Computer Methods and Programs in Biomedicine | 4.8 | Elsevier | 0169-2607 | |
| Foundations of Computational Mathematics | 2.7 | Springer | 1615-3375 | |
| International Journal for Numerical Methods in Fluids | 1.8 | Wiley-Blackwell | 0271-2091 | |
| b | Formal Aspects of Computing | 1.400 | ACM | 0934-5043 |
| Computational Management Science | 1.300 | Springer | 1619-697X | |
| Mathematical Methods of Operations Research | 0.900 | Springer | 1432-2994 | |
| a | Information and Computation | 0.800 | Elsevier | 0890-5401 |
| b | Formal Methods in System Design | 0.700 | Springer | 0925-9856 |