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: 18526 Tracked: 0 Attend: 0
Call For Papers
Related Conferences
| CCF | CORE | QUALIS | Short | Full Name | Submission | Notification | Conference |
|---|---|---|---|---|---|---|---|
| c | b2 | WSE | Web Systems Evolution | 2013-05-10 | 2013-06-28 | 2013-09-27 | |
| c | b4 | SIN | International Conference on Security of Information and Networks | 2024-08-16 | 2024-09-15 | 2024-12-02 | |
| c | b3 | NWeSP | International Conference on Next Generation Web Services Practices | 2012-08-31 | 2012-09-21 | 2012-11-21 | |
| c | b1 | ICFEM | International Conference on Formal Engineering Methods | 2025-05-25 | 2025-08-01 | 2025-11-10 | |
| c | a | b1 | SCC | International Conference on Services Computing | 2022-03-01 | 2022-04-15 | 2022-07-10 |
| c | b3 | MOBILITY | International Conference on Mobile Services, Resources, and Users | 2022-03-22 | 2022-04-19 | 2022-06-26 | |
| b | a | a1 | ICWS | International Conference on Web Services | 2025-03-10 | 2025-05-06 | 2025-07-07 |
| b | b1 | SEFM | International Conference on Software Engineering and Formal Methods | 2022-06-20 | 2022-08-07 | 2022-09-28 | |
| b | b1 | iFM | International Conference on integrated Formal Methods | 2022-02-11 | 2022-03-18 | 2022-06-07 | |
| a | b1 | FM | International Symposium on Formal Methods | 2025-11-25 | 2026-02-06 | 2026-05-18 |
| Short | Full Name | Conference |
|---|---|---|
| WSE | Web Systems Evolution | 2013-09-27 |
| SIN | International Conference on Security of Information and Networks | 2024-12-02 |
| NWeSP | International Conference on Next Generation Web Services Practices | 2012-11-21 |
| ICFEM | International Conference on Formal Engineering Methods | 2025-11-10 |
| SCC | International Conference on Services Computing | 2022-07-10 |
| MOBILITY | International Conference on Mobile Services, Resources, and Users | 2022-06-26 |
| ICWS | International Conference on Web Services | 2025-07-07 |
| SEFM | International Conference on Software Engineering and Formal Methods | 2022-09-28 |
| iFM | International Conference on integrated Formal Methods | 2022-06-07 |
| FM | International Symposium on Formal Methods | 2026-05-18 |
Related Journals
| CCF | Full Name | Impact Factor | Publisher | ISSN |
|---|---|---|---|---|
| International Journal on Web Service Computing | AIRCC | 2230-7702 | ||
| International Journal for Numerical Methods in Fluids | 1.700 | Wiley-Blackwell | 0271-2091 | |
| a | IEEE Transactions on Services Computing | 5.500 | IEEE | 1939-1374 |
| International Journal on Cybernetics & Informatics | AIRCC | 2320-8430 | ||
| b | Formal Methods in System Design | 0.700 | Springer | 0925-9856 |
| International Journal of Wireless Information Networks | 1.500 | Springer | 1068-9605 | |
| Archives of Computational Methods in Engineering | 12.1 | Springer | 1134-3060 | |
| International Journal of E-Services and Mobile Applications | IGI Global | 1941-627X | ||
| Telematics and Informatics Reports | Elsevier | 2772-5030 | ||
| c | IEEE Transactions on Network and Service Management | 4.700 | IEEE | 1932-4537 |
| Full Name | Impact Factor | Publisher |
|---|---|---|
| International Journal on Web Service Computing | AIRCC | |
| International Journal for Numerical Methods in Fluids | 1.700 | Wiley-Blackwell |
| IEEE Transactions on Services Computing | 5.500 | IEEE |
| International Journal on Cybernetics & Informatics | AIRCC | |
| Formal Methods in System Design | 0.700 | Springer |
| International Journal of Wireless Information Networks | 1.500 | Springer |
| Archives of Computational Methods in Engineering | 12.1 | Springer |
| International Journal of E-Services and Mobile Applications | IGI Global | |
| Telematics and Informatics Reports | Elsevier | |
| IEEE Transactions on Network and Service Management | 4.700 | IEEE |