Call for Papers

Download the TMS'15 Call for Papers in PDF format here.

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 bridge different areas in the field of Theory of Modeling and Simulation, including formal modeling, model-checking, graph transformation, modeling languages.

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
  • Behavior Abstraction and Model Reduction
  • 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

SUBMIT YOUR PAPER HERE

The conference committee accepts three types of papers submitted as a PDF file through the Submission Management System as listed below. The final version of all the papers must comply with the SCS conference format.

All the submitted papers must be original and not submitted to other venues. Submitted papers showing clear evidence of plagiarism or self- palgiarism will be rejected (please refer to plagiarism policies of ACM and IEEE). The corresponding authors will be notified to SCS and banned from future SCS conferences.

Submitted papers will be peer reviewed with respect to their quality, originality and relevance. At least one author of each paper accepted for presentation and publication must register and present the paper. Papers registered but not presented at conference time will be notified to SCS and not included in the ACM digital library.

1. Full Papers: 8 pages in final conference format. In addition to publication in the conference proceedings, they will be considered for best paper award and for possible inclusion in a Special Issue to be proposed to the SCS Simulation Journal. Full papers will be published both in hard copy and CD-ROM.
2. Short Papers: Papers with industrial focus, military or government applications, in abstract or short paper format (up to 6 pages in final conference format).

All papers will be included in the conference proceedings and archived in the ACM Digital Library. Full Papers will be also printed in hard copy.

Papers have to be submitted electronically and have to be properly formatted in accordance with these guidelines. Authors of accepted submissions will have the opportunity to update their submissions based on the reviews before the final electronic copy is due.

SUBMIT YOUR PAPER HERE