Overview

Modern software systems are increasingly distributed, autonomous, scalable, and intelligent. Examples include IoT networks, cyber-physical systems, cloud and edge computing, smart services, blockchain platforms, and AI-based architectures. Ensuring that these systems are trustworthy—correct, reliable, secure, and compliant with regulations—is one of today’s biggest challenges.

Formal Methods and Model-Based Engineering (MBE) provide mathematically rigorous foundations that complement testing and simulation, enabling precise specification, systematic verification, and provable assurance.

This track welcomes contributions advancing theories, modeling languages, verification techniques, tool support, scalability solutions, and industrial applications that improve the correct and dependable engineering of distributed and intelligent systems.

The objective is to create a forum for researchers, practitioners, and tool developers to present recent advances, exchange ideas, and identify future research directions.

Topics of Interest

• Formal specification, modeling, refinement, and verification of distributed systems (IoT, cloud, fog, edge)
• Correct-by-construction development and refinement-based engineering
• Event-B, TLA+, Coq, Isabelle/HOL, Alloy, model checking, runtime verification
• Verification of safety, liveness, temporal, confidentiality, and dependability properties
• Model-Driven Engineering, metamodeling, DSMLs, and model transformations
• Formal verification for blockchain protocols and smart contracts
• Reliability, explainability, and robustness in AI-enabled decision systems
• Digital twins and rigorous synchronization between physical and virtual systems
• Continuous verification supporting DevOps and CI/CD pipelines
• Certification, assurance, and compliance for autonomous systems
• Tool support, scalability, benchmarks, and industrial case studies

Submission Guidelines

WETICE 2026 will be accepting submissions starting from 08/11/2025. Submissions must be original and not under review elsewhere. Papers must be submitted through CMT: CMT Submission.

Papers must follow the IEEE conference format: IEEE Template.

Maximum length: 6 pages, including all figures and references. Authors must ensure correct grammar and include their names and affiliations.

Important Dates

Track Chairs

Dr. Lazhar Hamel
Efrei Paris Panthéon-Assas University, France
lazhar.hamel@efrei.fr

Dr. Belgacem Ben Hedia
CEA-List, France
belgacem.ben-hedia@cea.fr

Program Committee