Conference Information
WS-FM 2012: International Workshop on Web Services and Formal Methods
http://www.informatik.uni-rostock.de/ws-fm2012/Submission Date: |
|
Notification Date: |
2012-07-21 |
Conference Date: |
2012-09-06 |
Location: |
Tallinn, Estonia |
Years: |
9 |
Viewed: 14723 Tracked: 0 Attend: 0
Related Conferences
| Short | Full Name | Submission | Conference |
|---|---|---|---|
| CF' | Cloud Forward Conference | 2015-07-13 | 2015-10-06 |
| FM | International Symposium on Formal Methods | 2024-04-05 | 2024-09-09 |
| SSV | International Workshop on Systems Software Verification | 2012-11-28 | |
| NCIT | International Conference on Networks, Communication and Information Technology | 2022-10-20 | 2022-11-05 |
| VANET | International Workshop on VehiculAr Inter-NETworking, Systems, and Applications | 2012-06-25 | |
| RMLSP | International Conference on Robotics, Machine Learning and Signal Processing | 2024-05-30 | 2024-06-21 |
| ATC | IEEE International Conference on Autonomous and Trusted Computing | 2024-08-04 | 2024-12-02 |
| WSS | International Symposium on Web Services | 2014-10-15 | 2014-12-27 |
| CPAIOR | International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research | 2024-12-08 | 2025-11-10 |
| FSTTCS | IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science | 2024-07-05 | 2024-12-16 |
Related Journals
| CCF | Full Name | Impact Factor | Publisher | ISSN |
|---|---|---|---|---|
| c | ACM Transactions on Cyber-Physical Systems | 2.000 | ACM | 2378-962X |
| Journal of Classification | 1.800 | Springer | 0176-4268 | |
| Advances and Applications in Bioinformatics and Chemistry | Dove Medical Press | 1178-6949 | ||
| IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences | IEICE | |||
| IEEE Electrification Magazine | 3.400 | IEEE | 2325-5897 | |
| Information Systems Journal | 6.500 | Wiley-Blackwell | 1350-1917 | |
| b | Journal of the American Society for Information Science and Technology | 2.800 | John Wiley & Sons, Ltd. | 1532-2890 |
| International Journal of Photoenergy | 2.100 | Hindawi | 1110-662X | |
| IEEE Open Journal of Signal Processing | 2.900 | IEEE | 2644-1322 | |
| Graphs and Combinatorics | 0.600 | Springer | 0911-0119 |
| Full Name | Impact Factor | Publisher |
|---|---|---|
| ACM Transactions on Cyber-Physical Systems | 2.000 | ACM |
| Journal of Classification | 1.800 | Springer |
| Advances and Applications in Bioinformatics and Chemistry | Dove Medical Press | |
| IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences | IEICE | |
| IEEE Electrification Magazine | 3.400 | IEEE |
| Information Systems Journal | 6.500 | Wiley-Blackwell |
| Journal of the American Society for Information Science and Technology | 2.800 | John Wiley & Sons, Ltd. |
| International Journal of Photoenergy | 2.100 | Hindawi |
| IEEE Open Journal of Signal Processing | 2.900 | IEEE |
| Graphs and Combinatorics | 0.600 | Springer |
Recommendation