CISUC

TMS/DEVS'18: Theory of Modeling and Simulation/DEVS Symposium - Call For Papers

Publication Date: 2017-09-22 16:11:45



April 15-18, 2018, Baltimore, MD, USA

TMS/DEVS'18: Theory of Modeling and Simulation/DEVS Symposium

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. Topics of interest include (but are not limited to):

- Theory:
* Advances in Modeling Formalisms (DEVS, Petri nets, Statecharts, etc.)
* Model Transformation
* Model Checking and Verification

- Modular Approaches to 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

Submission Guidelines
Original, high-quality technical papers are solicited for review, possible presentation and subsequent publication in the conference proceedings. For further instructions, please refer to the Submission Instructions in the SCS Conference Proceedings Management System web site.

Important Dates
Full paper submission: Nov. 23, 2017
Notification of acceptance:Jan. 12, 2018
Camera-ready paper: Feb. 23, 2018

For additional information please visit TMS/DEVS'18 website