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

posted by organizer: ahlembenyounes || 942 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

IOP-RICAS 2027 2027 International Conference on Robotics, Intelligent Control and Autonomous Systems (RICAS 2027)

ICFST 2027 2027 The 10th International Conference on Frontiers of Sensors Technologies (ICFST 2027)

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

Ei/Scopus/CPCI-ICRPA 2027 2027 International Conference on Robot Perception and Automation (ICRPA 2027)

IEEE SSCI 2027 2027 IEEE Symposium Series on Computational Intelligence

IEEE-MLNLP 2026 2026 IEEE 9th International Conference on Machine Learning and Natural Language Processing (MLNLP 2026)

20th IEEE MCSoC 2027 20th IEEE International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC-2027)

ISCSO 2026 Optimization Competition

COMS 2027 The 18th Workshop on Computational Optimization, Modelling and Simulation

BLKCA 2026 4th International Conference on Blockchain and Applications