MVDA 2026 : 14th IEEE International Workshop on Modeling and Verifying Distributed-Embedded Applications (MVDA 2026)

posted by organizer: ahlembenyounes || 60 views || tracked by 1 users: [display]

MVDA 2026 : 14th IEEE International Workshop on Modeling and Verifying Distributed-Embedded Applications (MVDA 2026)

Link: https://ieeecompsac.computer.org/2026/mvda-2026/

When	Jul 7, 2026 - Jul 10, 2026
Where	Madrid, Spain
Submission Deadline	Apr 15, 2026
Notification Due	May 7, 2026
Final Version Due	May 21, 2026

Categories computer science distributed systems embedded systems formal methods

Call For Papers

The 14th IEEE MVDA Workshop invites original research on modeling and verifying distributed-embedded applications. Key areas include architecture design for cloud/embedded services, ontology engineering, AI and model checking, and formal verification methods. Submissions must adhere to IEEE page formats and policies. Accepted papers will be included in the COMPSAC 2026 proceedings.

Related Resources

IEEE-ICECCS 2026 2025 IEEE International Conference on Electronics, Communications and Computer Science (ICECCS 2026)

EMSA 2026 15th International Conference on Embedded Systems and Applications

IPDCA 2026 15th International conference on Parallel, Distributed Computing and Applications

GreeNet Symposium - SGNC 2026 17th Symposium on Green Networking and Computing (SGNC 2026)

IJPLA 2026 International Journal of Programming Languages and Applications

CVIPPR 2026 2026 4th Asia Conference on Computer Vision, Image Processing and Pattern Recognition (CVIPPR 2026)

CCSEA 2026 16th International Conference on Computer Science, Engineering and Applications

IEEE-Ei/Scopus-ICISC 2026 2025 6th International Conference on Intelligent System and Computing (ICISC 2026)

CNCIT 2026 2026 5th International Conference on Networks, Communications and Information Technology

Ei/Scopus-CNIOT 2026 2026 7th IEEE International Conference on Computing, Networks and Internet of Things (CNIOT 2026)