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: 16905 Tracked: 0 Attend: 0
Call For Papers
Related Conferences
| Short | Full Name | Conference |
|---|---|---|
| CPAIOR | International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research | 2025-11-10 |
| FSTTCS | IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science | 2025-12-17 |
| CCCAI | International Conference on Communications, Computing and Artificial Intelligence | 2025-06-20 |
| ATC | IEEE International Conference on Autonomous and Trusted Computing | 2024-12-02 |
| WSS | International Symposium on Web Services | 2014-12-27 |
| VANET | International Workshop on VehiculAr Inter-NETworking, Systems, and Applications | 2012-06-25 |
| SEEE | International Conference on Smart Energy and Electrical Engineering | 2022-08-12 |
| SSV | International Workshop on Systems Software Verification | 2012-11-28 |
| FM | International Symposium on Formal Methods | 2024-09-09 |
| CF' | Cloud Forward Conference | 2015-10-06 |
Related Journals
| CCF | Full Name | Impact Factor | Publisher | ISSN |
|---|---|---|---|---|
| c | IEEE Transactions on Industrial Informatics | 11.7 | IEEE | 1551-3203 |
| Journal of the Brazilian Computer Society | Springer | 0104-6500 | ||
| Semantic Web | 3.000 | IOS Press | 1570-0844 | |
| IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences | IEICE | |||
| IEEE Transactions on Automatic Control | 6.200 | IEEE | 0018-9286 | |
| b | Journal of the American Society for Information Science and Technology | 2.800 | John Wiley & Sons, Ltd. | 1532-2890 |
| International Journal of Engineering Mathematics | Hindawi | 2356-7007 | ||
| IEEE/ACM Transactions on Audio Speech and Language Processing | 4.100 | IEEE | 2329-9290 | |
| GPS Solutions | 4.500 | Springer | 1080-5370 | |
| IEEE Open Journal of Signal Processing | 2.900 | IEEE | 2644-1322 |
| Full Name | Impact Factor | Publisher |
|---|---|---|
| IEEE Transactions on Industrial Informatics | 11.7 | IEEE |
| Journal of the Brazilian Computer Society | Springer | |
| Semantic Web | 3.000 | IOS Press |
| IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences | IEICE | |
| IEEE Transactions on Automatic Control | 6.200 | IEEE |
| Journal of the American Society for Information Science and Technology | 2.800 | John Wiley & Sons, Ltd. |
| International Journal of Engineering Mathematics | Hindawi | |
| IEEE/ACM Transactions on Audio Speech and Language Processing | 4.100 | IEEE |
| GPS Solutions | 4.500 | Springer |
| IEEE Open Journal of Signal Processing | 2.900 | IEEE |