TMS 2013 - Symposium on Theory of Modeling and Simulation (formerly known as the DEVS Integrative M&S Symposium), TMS'13

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.
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
Multi-Formalisms: DEVS, Petri Nets, Timed Automata, Markov Chains, etc.
Dynamic System Optimization
Meta Heuristic & Scaleable Analysis of Simulation
Model Abstraction and Machine Learning
Methodology
parallel & distributed simulators and simulations
Interoperability simulators (grid, cloud, web services…)
M&S engineering
M&S-based development methods
M&S-based optimization
M&S of gene regulatory networks
M&S of spatially distributed systems
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