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: 10532 Tracked: 0 Attend: 0
Related Conferences
Short | Full Name | Submission | Conference |
---|---|---|---|
IECT | International Conference on Information Engineering and Communications Technology | 2016-05-31 | 2016-06-25 |
ISCTEE | International Seminar on Information Science, Computer Technology and Electrical Engineering | 2017-08-11 | 2017-08-18 |
TAMC | Annual Conference on Theory and Applications of Models of Computation | 2014-11-27 | 2015-05-18 |
SNPD | International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing | 2020-07-17 | 2020-11-04 |
FM | International Symposium on Formal Methods | 2022-09-04 | 2023-03-06 |
NSS/MIC | Nuclear Science Symposium and Medical Imaging Conference | 2015-05-05 | 2015-10-31 |
BODYNET | International Conference on Body Area Networks | 2015-06-01 | 2015-09-28 |
ICEIEC | IEEE International Conference on Electronics Information and Emergency Communication | 2020-06-25 | 2020-07-17 |
TOOLS Europe | International Conference on Objects, Models, Components and Patterns | 2012-01-06 | 2012-05-29 |
CF' | Cloud Forward Conference | 2015-07-13 | 2015-10-06 |
Related Journals
CCF | Full Name | Impact Factor | Publisher | ISSN |
---|---|---|---|---|
b | Formal Aspects of Computing | 1.226 | Springer | 0934-5043 |
b | Formal Methods in System Design | 0.442 | Springer | 0925-9856 |
International Journal on Artificial Intelligence Tools | 0.849 | World Scientific | 0218-2130 | |
c | Behaviour & Information Technology | 1.388 | Taylor & Francis | 0144-929X |
c | Information Management & Computer Security | Emerald | 0968-5227 | |
IEEE Transactions on Molecular, Biological, and Multi-Scale Communications | IEEE | 2372-2061 | ||
a | Information and Computation | 0.704 | Elsevier | 0890-5401 |
Ethics and Information Technology | 0.497 | Springer | 1388-1957 | |
International Journal for Numerical Methods in Fluids | 1.631 | Wiley-Blackwell | 0271-2091 | |
Journal of Formalized Reasoning | Alma Mater Studiorum | 1972-5787 |
Full Name | Impact Factor | Publisher |
---|---|---|
Formal Aspects of Computing | 1.226 | Springer |
Formal Methods in System Design | 0.442 | Springer |
International Journal on Artificial Intelligence Tools | 0.849 | World Scientific |
Behaviour & Information Technology | 1.388 | Taylor & Francis |
Information Management & Computer Security | Emerald | |
IEEE Transactions on Molecular, Biological, and Multi-Scale Communications | IEEE | |
Information and Computation | 0.704 | Elsevier |
Ethics and Information Technology | 0.497 | Springer |
International Journal for Numerical Methods in Fluids | 1.631 | Wiley-Blackwell |
Journal of Formalized Reasoning | Alma Mater Studiorum |
Recommendation