Conference Information
FMOODS 2013: International Conference on Formal Methods for Open Object-based Distributed Systems
http://forte13.sosy-lab.org/Submission Date: |
2013-02-11 Extended |
Notification Date: |
2013-03-18 |
Conference Date: |
2013-06-03 |
Location: |
Florence, Italy |
Years: |
15 |
CORE: c QUALIS: b1 Viewed: 16337 Tracked: 0 Attend: 0
Call For Papers
Acceptance Ratio
| Year | Submitted | Accepted | Accepted(%) |
|---|---|---|---|
| 2009 | 46 | 18 | 39.1% |
| 2008 | 35 | 14 | 40% |
| 2007 | 45 | 17 | 37.8% |
| 2006 | 55 | 16 | 29.1% |
| 2005 | 44 | 19 | 43.2% |
| 2003 | 63 | 18 | 28.6% |
| 2002 | 31 | 15 | 48.4% |
| 2000 | 33 | 16 | 48.5% |
| 1999 | 52 | 26 | 50% |
| 1997 | 58 | 28 | 48.3% |
Related Conferences
| Short | Full Name | Conference |
|---|---|---|
| FORMATS | International Conference on Formal Modeling and Analysis of Timed Systems | 2022-09-12 |
| FMCAD | Formal Methods in Computer-Aided Design | 2025-10-06 |
| Policy | International Symposium on Policies for Distributed Systems and Networks | 2012-07-16 |
| SSS | International Symposium on Stabilization, Safety, and Security of Distributed Systems | 2022-11-15 |
| SRDS | IEEE Symposium on Reliable Distributed Systems | 2025-09-29 |
| OPODIS | International Conference on Principles of Distributed Systems | 2022-12-13 |
| ICPADS | International Conference on Parallel and Distributed Systems | 2025-12-14 |
| FMICS | International Conference on Formal Methods for Industrial Critical Systems | 2022-09-14 |
| FORTE | International Conference on Formal Techniques for Distributed Systems | 2025-06-16 |
| FMOODS | International Conference on Formal Methods for Open Object-based Distributed Systems | 2013-06-03 |
Related Journals
| CCF | Full Name | Impact Factor | Publisher | ISSN |
|---|---|---|---|---|
| a | IEEE Transactions on Parallel and Distributed Systems | 5.600 | IEEE | 1045-9219 |
| b | Formal Methods in System Design | 0.700 | Springer | 0925-9856 |
| c | Knowledge-Based Systems | 7.2 | Elsevier | 0950-7051 |
| b | IEEE Transactions on Neural Networks and Learning Systems | 8.9 | IEEE | 1045-9227 |
| International Journal of Distributed and Parallel Systems | AIRCC | 2229-3957 | ||
| Design Automation for Embedded Systems | 0.900 | Springer | 0929-5585 | |
| International Journal of Knowledge-Based and Intelligent Engineering Systems | IOS Press | 1327-2314 | ||
| Mathematical Methods of Operations Research | 0.900 | Springer | 1432-2994 | |
| c | Logical Methods in Computer Science | Logical Methods in Computer Science | 1860-5974 | |
| International Journal of Distributed Systems and Technologies | IGI Global Publishing | 1947-3532 |
| Full Name | Impact Factor | Publisher |
|---|---|---|
| IEEE Transactions on Parallel and Distributed Systems | 5.600 | IEEE |
| Formal Methods in System Design | 0.700 | Springer |
| Knowledge-Based Systems | 7.2 | Elsevier |
| IEEE Transactions on Neural Networks and Learning Systems | 8.9 | IEEE |
| International Journal of Distributed and Parallel Systems | AIRCC | |
| Design Automation for Embedded Systems | 0.900 | Springer |
| International Journal of Knowledge-Based and Intelligent Engineering Systems | IOS Press | |
| Mathematical Methods of Operations Research | 0.900 | Springer |
| Logical Methods in Computer Science | Logical Methods in Computer Science | |
| International Journal of Distributed Systems and Technologies | IGI Global Publishing |