3rd International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications

The 3rd International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications (RTSLA 2026), co-located with SEFM 2026, brings together researchers from formal methods, software engineering, and theoretical computer science to advance the foundational theory and practical tools for modeling and verifying systems that can dynamically alter their structure and behavior at runtime. Reconfigurable transition systems provide a powerful formalism for capturing the complex behaviors of adaptive software, distributed protocols, and evolving computational architectures, making them central to the formal analysis of modern software-intensive systems. The workshop fosters a focused research dialogue that connects abstract mathematical theory with the engineering challenges of verifying reconfigurable systems in practice.

logic computer science reconfigurable system modelling

We invite submissions on semantic models for reconfigurable systems, temporal and spatial logics for dynamic architectures, verification and model checking of adaptive systems, process algebras for reconfiguration, and tools for analyzing reconfigurable transition systems. Both theoretical papers and papers describing tool implementations or case studies are welcome.