Call for Papers

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. The intention of the Symposium is 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:

• Theory
  • Advances in Modeling Formalisms (DEVS, Petri nets, Statecharts, etc.)
  • Formal analysis and symbolic reasoning
  • Model checking
  • Model Transformation
  • Behavior Abstraction and Model Reduction
  • Graph transformations
  • Model Abstraction and Machine Learning
  • Formalism-Based Model Debugging

• Modular Approaches in M&S
  • Model Composition
  • Co-simulation
  • Interoperability
  • Modular Modeling of Hybrid Systems
  • Modular Modeling of Spatially Distributed Systems
  • Modular Representation of Numerical Solvers

• Complex Systems M&S
• Multi-Paradigm/Multi-Domain Modeling
• Multi-Resolution/Multiscale Modeling
• Cyber-Physical Systems M&S
• Ultra Large Scale Systems M&S
• Systems of Systems M&S

• Technologies (derived from theoretical/foundational methods)
  • Parallel/distributed/cloud/edge simulation
  • Real-time and Interactive simulation
  • M&S of Embedded Systems

• M&S Tools and Standards (related to theoretical/foundational methods)
  • Simulation Languages/Libraries
  • Simulation Development/Visualization Tools
  • M&S Repositories/Data Formats

• Applications of theoretical/foundational methods

SUBMIT YOUR PAPER HERE

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.

Submitted papers showing evidence of plagiarism or self-plagiarism will be rejected (please refer to plagiarism policies of ACM and IEEE).

All submissions will be peer reviewed and feedback will be provided. Authors of papers accepted at symposiums and their 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 and SCOPUS.