The purpose of this symposium is to provide a forum to discuss recent advancements in M&S theory. 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.