Call for Papers

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

· Advances in Modeling Formalisms (DEVS, Petri nets, Statecharts, etc.)
· Model Transformation
· Model Checking and Verification
· 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

M&S Technologies
· Parallel/Distributed/Cloud-Based Simulation
· Real-Time and Interactive Simulation
· M&S of Embedded Systems

M&S Tools and Standards
· Simulation Languages/Libraries
· Simulation Development/Visualization Tools
· M&S Repositories/Data Formats

Download the PDF

Submission Procedures:

Contributed papers are maximum of 12 pages long with single column format. If accepted and presented at the conference papers, will be submitted to the ACM Digital Library. 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 SpringSim’17 review process. If a submission is rejected for paper presentation, it may still be suggested for submission and presentation as a work in progress (WIP) or poster. At least one author must register and present the paper/WIP/poster at the symposium. All submissions will be peer reviewed and feedback will be provided.
A Word and Latex template can be found on:

Submission website