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

posted by organizer: ahlembenyounes || 375 views || tracked by 2 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

Ei/Scopus-AI2A 2026 2026 6th International Conference on Artificial Intelligence, Automation and Algorithms (AI2A 2026)

IEEE AIxVR 2026 8th International Conference on Artificial Intelligence & extended and Virtual Reality

Ei/Scopus-ACEPE 2026 2026 3rd IEEE Asia Conference on Advances in Electrical and Power Engineering (ACEPE 2026)

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

IEEE SSCI 2027 2027 IEEE Symposium Series on Computational Intelligence

ECPDC 2026 2026 3rd International Conference on Edge Computing, Parallel and Distributed Computing

Ei/Scopus-AICSP 2026 2026 International Conference on Algorithms, Intelligent Control and Signal Processing (AICSP 2026)

IEEE-DSIT 2026 2026 IEEE 9th International Conference on Data Science and Information Technology

IEEE ICCT-PACIFIC 2026 2026 IEEE 2nd International Conference on Consumer Technology - Pacific (ICCT-Pacific 2026)

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