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: 9698 Tracked: 0 Attend: 0
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 | Submission | Conference |
|---|---|---|---|
| HAIS | International Conference on Hybrid Artificial Intelligence Systems | 2020-05-27 | 2020-09-04 |
| WONS | International Conference on Wireless On-demand Network Systems and Services | 2022-10-30 | 2023-01-30 |
| NOBIDS | Norwegian Big Data Symposium | 2017-10-17 | 2017-11-14 |
| ATVA | International Symposium on Automated Technology for Verification and Analysis | 2022-05-01 | 2022-10-25 |
| ASP-DAC | Asia and South Pacific Design Automation Conference | 2021-07-21 | 2022-01-17 |
| ISDF | International Conference in Information Security and Digital Forensics | 2015-08-25 | 2015-09-29 |
| MLT | International Conference on Machine Learning & Trends | 2023-03-11 | 2022-03-19 |
| ACNS | International Conference on Applied Cryptography and Network Security | 2022-01-14 | 2022-06-20 |
| TAMC | Annual Conference on Theory and Applications of Models of Computation | 2014-11-27 | 2015-05-18 |
| APSAC | International Conference on Applied Physics, System Science and Computers | 2017-06-30 | 2018-09-26 |
Related Journals
| CCF | Full Name | Impact Factor | Publisher | ISSN |
|---|---|---|---|---|
| b | Formal Methods in System Design | 0.442 | Springer | 0925-9856 |
| c | Machine Vision and Applications | 2.012 | Springer | 0932-8092 |
| b | IEEE Transactions on Neural Networks and Learning Systems | 11.68 | IEEE | 1045-9227 |
| International Journal of Distributed and Parallel Systems | AIRCC | 2229-3957 | ||
| Design Automation for Embedded Systems | 0.250 | Springer | 0929-5585 | |
| International Journal of Knowledge-Based and Intelligent Engineering Systems | IOS Press | 1327-2314 | ||
| International Journal on Artificial Intelligence Tools | 0.849 | World Scientific | 0218-2130 | |
| Computational Social Networks | Springer | 2197-4314 | ||
| c | Logical Methods in Computer Science | Logical Methods in Computer Science | 1860-5974 | |
| b | Journal of Parallel and Distributed Computing | 3.734 | Elsevier | 0743-7315 |
| Full Name | Impact Factor | Publisher |
|---|---|---|
| Formal Methods in System Design | 0.442 | Springer |
| Machine Vision and Applications | 2.012 | Springer |
| IEEE Transactions on Neural Networks and Learning Systems | 11.68 | IEEE |
| International Journal of Distributed and Parallel Systems | AIRCC | |
| Design Automation for Embedded Systems | 0.250 | Springer |
| International Journal of Knowledge-Based and Intelligent Engineering Systems | IOS Press | |
| International Journal on Artificial Intelligence Tools | 0.849 | World Scientific |
| Computational Social Networks | Springer | |
| Logical Methods in Computer Science | Logical Methods in Computer Science | |
| Journal of Parallel and Distributed Computing | 3.734 | Elsevier |
Recommendation