2015 Symposium on Theory of Modeling and Simulation (TMS 2015)

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