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