The purpose of this symposium is to provide a forum to discuss most recent advancements in Theory of Modeling and Simulation. 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. We want to bridge different areas in the field of Theory of Modeling and Simulation, including formal modeling, model-checking, graph transformation, modeling languages.
Topics of interest include (but are not limited to) the following:
Original, high-quality technical papers are solicited for review, possible presentation and subsequent publication in the conference proceedings. Papers are max 12 pages long with single column format. All the papers must comply with the SCS conference format. Papers must not have appeared before (or be pending) in a journal or conference with published proceedings, nor may they be under review or submitted to another forum during the review process.
All submissions will be peer reviewed and feedback will be provided. Authors of papers accepted at the tracks are expected to attend the conference, present their work to their peers, transfer copyright, and pay a conference registration fee at the time their camera-ready paper is submitted. Papers registered and presented will be included in the conference proceedings, possibly archived in the ACM Digital Library, IEEExplore and indexed in DBLP, Web of Science and SCOPUS.