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: 20746 Tracked: 0 Attend: 0
Call For Papers
Related Conferences
| CCF | CORE | QUALIS | Short | Full Name | Submission | Notification | Conference |
|---|---|---|---|---|---|---|---|
| a | b1 | FM | International Symposium on Formal Methods | 2025-11-25 | 2026-02-06 | 2026-05-18 | |
| c | b1 | ICFEM | International Conference on Formal Engineering Methods | 2025-05-25 | 2025-08-01 | 2025-11-10 | |
| b | a | a1 | ICWS | International Conference on Web Services | 2025-03-10 | 2025-05-06 | 2025-07-07 |
| c | b4 | SIN | International Conference on Security of Information and Networks | 2024-08-16 | 2024-09-15 | 2024-12-02 | |
| b | b1 | SEFM | International Conference on Software Engineering and Formal Methods | 2022-06-20 | 2022-08-07 | 2022-09-28 | |
| c | b3 | MOBILITY | International Conference on Mobile Services, Resources, and Users | 2022-03-22 | 2022-04-19 | 2022-06-26 | |
| c | a | b1 | SCC | International Conference on Services Computing | 2022-03-01 | 2022-04-15 | 2022-07-10 |
| b | b1 | iFM | International Conference on integrated Formal Methods | 2022-02-11 | 2022-03-18 | 2022-06-07 | |
| c | b2 | WSE | Web Systems Evolution | 2013-05-10 | 2013-06-28 | 2013-09-27 | |
| c | b3 | NWeSP | International Conference on Next Generation Web Services Practices | 2012-08-31 | 2012-09-21 | 2012-11-21 |
Related Journals
| CCF | Full Name | Impact Factor | Publisher | ISSN |
|---|---|---|---|---|
| Archives of Computational Methods in Engineering | 12.1 | Springer | 1134-3060 | |
| Telematics and Informatics | 8.3 | Elsevier | 0736-5853 | |
| a | IEEE Transactions on Services Computing | 5.8 | IEEE | 1939-1374 |
| c | IEEE Transactions on Network and Service Management | 5.4 | IEEE | 1932-4537 |
| International Journal of Numerical Methods for Heat & Fluid Flow | 5.1 | Emerald | 0961-5539 | |
| b | ACM Transactions on Sensor Networks | 4.7 | ACM | 1550-4859 |
| b | Graphical Models | 2.2 | Elsevier | 1524-0703 |
| International Journal for Numerical Methods in Fluids | 1.8 | Wiley-Blackwell | 0271-2091 | |
| International Journal of Wireless Information Networks | 1.500 | Springer | 1068-9605 | |
| b | Formal Methods in System Design | 0.700 | Springer | 0925-9856 |