Sponsored by
The Society for Modeling and Simulation International

in cooperation with ACM/SIGSIM and ICST (pending)


The purpose of this symposium is to provide a forum to discuss recent advancements in Theory of M&S. The main focus is on theory of modeling, methodology, practice and software to cope with the challenges arising out of these, as well as lessons learned and challenges. The Symposium bridges different areas in the field of Theory of M&S, including formal modeling, model-checking, graph transformation, modeling methodologies.
It also provides an opportunity to exchange ideas with other SpringSim'12 symposia participants in different fields.

All papers will be included in the conference proceedings and archived in
both the the ACM and EU Digital Libraries.