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

• Theory of Modeling and Simulation
• DEVS, Petri-nets, Finite State Machines, Timed Automata, Process Algebras, Queuing Networks, etc.
• Formalism Integration
• Modular Formalisms for Hybrid Systems
• Formal analysis and symbolic reasoning
• Model checking
• Behavior Abstraction and Model Reduction
• Graph and model transformations
• Activity paradigm: complex adaptive systems, tracking, awareness
• M & S Software
• M&S Software
• M&S Frameworks
• M&S Languages and language extensions
• Education aspects of Theory of M&S
• M&S standards
• Methodology
• Parallel & distributed simulations
• Interoperability of simulators (grid, cloud, web services, etc.)
• M&S-based development methods
• M&S-based system optimization
• M&S of gene regulatory networks
• M&S of spatially distributed systems
• Practice and Lessons Learned
• Real-time and embedded systems
• High performance computing
• Cloud and service-oriented computing
• Transportation and traffic systems
• Ecological and environmental systems
• Systems-of-systems and ultra large scale systems