The International Conference on Model-Based Software and Systems Engineering provides a platform for participants from all over the world to present research results and application experience in using model-based techniques for developing all sorts of systems. Model-based software engineering has emerged over many years as an approach for developing IT systems in which models take a central role, not only for the analysis of these systems but also for their construction.

We are pleased to invite you to participate in the 28th Brazilian Symposium
on Formal Methods (SBMF’25), which will be held at the
Northeast Strategic Technologies Center – CETENE, Brazil, from December
02-05, 2025.

4th International Workshop on Explainability of Real-time Systems and their Analysis (ERSA 2025) at the IEEE Real-Time Systems Symposium (RTSS 2025) in Boston, MA, USA. Today, almost all verification techniques provide answers to questions but do not provide explanations. We will address that.

This conference will broadly focus on AI assurance and security and associated risks stemming from a variety of factors depending on use context, including AI system safety, equity, reliability, interpretability, robustness, privacy, and governability.

SEAMS is a CORE-A ranked conference that applies software engineering methods, techniques, processes, and tools to support the construction of safe, performant, and cost-effective self-adaptive and autonomous systems that provide self-* properties like self-configuration, self-healing, self-optimization, and self-protection.