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