Conference Information
FMCO 2011: International Symposium on Formal Methods for Components and Objects
http://fmco.liacs.nl/fmco11.htmlSubmission Date: |
|
Notification Date: |
2011-09-07 |
Conference Date: |
2011-10-03 |
Location: |
Turin, Italy |
Years: |
10 |
Viewed: 17190 Tracked: 0 Attend: 0
Call For Papers
Related Conferences
| Short | Full Name | Conference |
|---|---|---|
| ICFEM | International Conference on Formal Engineering Methods | 2025-11-10 |
| FMICS | International Conference on Formal Methods for Industrial Critical Systems | 2022-09-14 |
| iFM | International Conference on integrated Formal Methods | 2022-06-07 |
| SERVICES | World Congress on Services | 2021-09-05 |
| ICICS | International Conference on Information and Communications Security | 2025-10-29 |
| TOOLS Europe | International Conference on Objects, Models, Components and Patterns | 2012-05-29 |
| FMCAD | Formal Methods in Computer-Aided Design | 2025-10-06 |
| WCOP | International Doctoral Symposium on Components and Architecture | 2015-05-04 |
| FM | International Symposium on Formal Methods | 2026-05-18 |
| FMOODS | International Conference on Formal Methods for Open Object-based Distributed Systems | 2013-06-03 |
Related Journals
| CCF | Full Name | Impact Factor | Publisher | ISSN |
|---|---|---|---|---|
| c | Logical Methods in Computer Science | Logical Methods in Computer Science | 1860-5974 | |
| b | Formal Aspects of Computing | 1.400 | ACM | 0934-5043 |
| b | Formal Methods in System Design | 0.700 | Springer | 0925-9856 |
| Mathematical Methods of Operations Research | 0.900 | Springer | 1432-2994 | |
| c | International Journal of Information and Computer Security | Inderscience | 1744-1765 | |
| c | Information Management & Computer Security | Emerald | 0968-5227 | |
| IEEE Wireless Communications Letters | 4.600 | IEEE | 2162-2337 | |
| a | Information and Computation | 0.800 | Elsevier | 0890-5401 |
| Foundations of Computational Mathematics | 2.500 | Springer | 1615-3375 | |
| International Journal for Numerical Methods in Fluids | 1.700 | Wiley-Blackwell | 0271-2091 |
| Full Name | Impact Factor | Publisher |
|---|---|---|
| Logical Methods in Computer Science | Logical Methods in Computer Science | |
| Formal Aspects of Computing | 1.400 | ACM |
| Formal Methods in System Design | 0.700 | Springer |
| Mathematical Methods of Operations Research | 0.900 | Springer |
| International Journal of Information and Computer Security | Inderscience | |
| Information Management & Computer Security | Emerald | |
| IEEE Wireless Communications Letters | 4.600 | IEEE |
| Information and Computation | 0.800 | Elsevier |
| Foundations of Computational Mathematics | 2.500 | Springer |
| International Journal for Numerical Methods in Fluids | 1.700 | Wiley-Blackwell |