Home Categories
CFPs Conf Series
My List
My Archive
On iPhone
On Android
posted by organizer: ahlembenyounes || 638 views || tracked by 2 users: [display]

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

FacebookTwitterLinkedInGoogle

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

ITCCMA 2026   13th International Conference on Information Technology, Control, Chaos, Modeling and Applications
Ei/Scopus-AI2A 2026   2026 IEEE 6th International Conference on Artificial Intelligence, Automation and Algorithms (AI2A 2026)
Ei/Scopus-ACEPE 2026   2026 3rd IEEE Asia Conference on Advances in Electrical and Power Engineering (ACEPE 2026)
IEEE SSCI 2027   2027 IEEE Symposium Series on Computational Intelligence
IEEE SMC 2027   IEEE International Conference on Systems, Man, and Cybernetics
CCSIT 2026   16th International Conference on Computer Science and Information Technology
EMVL 2026   4th International Conference on Embedded Systems and VLSI
IJNSA 2026   International Journal of Network Security & Its Applications - ERA Indexed, H Index - 52
DECODE 2026   DECODE 2026 : Distributed Ecosystem for Circularity through Open Digital Enablers and the Digital Product Passport, Workshop at the 22nd CNSM 2026
IEEE ICCT-PACIFIC 2026   2026 IEEE 2nd International Conference on Consumer Technology - Pacific (ICCT-Pacific 2026)
About Us | Contact Us | Data | Privacy Policy | Terms and Conditions
Partners: AI2's Semantic Scholar
This wiki is licensed under a Creative Commons Attribution-Share Alike 3.0 License.