Introduction

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.

Call for paper

Submission Topics

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
Submit Comment
Verify Code Change Another
All Comments
Important Date

  • Conference Date

    Apr 03

    2016

    to

    Apr 06

    2016

  • Apr 06 2016

    Registration deadline

Contact Information
Login to view full contact details
Previous Conferences