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

The purpose of this symposium is to provide a forum to discuss most recent advancements in Theory of Modeling and Simulation. The main focus is on theory of modeling, methodology, practice and software to cope with the challenges arising out of these, as well as lessons learned and challenges. The intention of the Symposium is to bride different areas in the field of Theory of Modeling and Simulation, including formal modeling, model-checking, graph transformation, modeling methodologies. It also provides an opportunity to exchange ideas with other SpringSim'11 symposia participants in different fields.

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

Theory
DEVS, Petri-nets, Finite State Machines, Timed Automata, Process Algebras, Queueing Networks, etc.
Hybrid system modeling and integration of formalisms
Formal analysis and symbolic reasoning
Model Checking
Graph Transformations
Activity paradigm: Complex adaptive systems, tracking, awareness
Methodology
parallel & distributed simulators and simulations
Interoperability simulators (grid, cloud, web services…)
M&S Engineering
M&S-Based development methods
Practice and Lessons Learned
Military systems and infrastructures
Real-time and embedded systems
High performance computing
Cloud and service-oriented computing
Software-intensive/networked systems
Transportation and traffic systems
Ecological and environmental systems
Systems-of-systems and ultra large scale systems
Standards
M&S Software
M&S Software including frameworks and libraries for DEVS, Petri Nets, Finite State Machines, Timed Automata, Process Algebras, Queueing Networks, etc.
Education aspects of Theory of Modeling and Simulation