About us
Modeling serves as a fundamental tool for understanding and designing modern software systems, including cyber-physical systems, digital twins, and system-of-systems. By providing abstractions that simplify complexity and align diverse stakeholders, modeling enhances our ability to comprehend domains and develop reliable systems. This workshop aims to investigate the interplay between modeling and consistency.
Important Dates
Fri, Mar 20, 2026
Abstract registration deadlineFri, Mar 27, 2026
Submission deadlinePaper Submission
Research Paper Submission Tracks
Consistency checking, repair, and preservation within modeling processes.
Techniques for handling existing inconsistencies in large-scale or distributed models.
Challenges and solutions for multi-view and multi-paradigm modeling, including the View-Update Problem.
Approaches to improving the utility of abstractions for diverse stakeholders while maintaining consistency.
Novel methods to assure software quality through effective consistency management.
Call for Papers Description
All papers must be original and not simultaneously submitted to another journal or conference. Categories include Foundational Papers (10 pages), Application Papers (10 pages), Short Papers (5 pages), and Challenge Papers (10 pages) regarding the ICMM Challenge on the construction of a brake system.

