2017 Symposium on Theory of Modeling and Simulation (TMS-DEVS)

Topics of interest include (but are not limited to): 

 Theory 
  o Advances in Modeling Formalisms (DEVS,
   Petri nets, Statecharts, etc.)
  o Model Transformation
  o Model Checking and Verification
  o Formalism-Based Model Debugging
 Modular Approaches to M&S 
  o Model Composition
  o Co-simulation
  o Interoperability
  o Modular Modeling of Hybrid Systems
  o Modular Modeling of Spatially Distributed
  Systems
  o Modular Representation of Numerical
  Solvers 

 Complex Systems M&S 
 o Multi-Paradigm/Multi-Domain Modeling
  o Multi-Resolution/Multiscale Modeling
  o Cyber-Physical Systems M&S
  o Ultra Large Scale Systems M&S
  o Systems of Systems M&S
 M&S Technologies 
  o Parallel/Distributed/Cloud-Based Simulation
  o Real-Time and Interactive Simulation
  o M&S of Embedded Systems 
 M&S Tools and Standards 
  o Simulation Languages/Libraries
  o Simulation Development/Visualization Tools
  o M&S Repositories/Data Formats