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 toolkits of DEVS, as well as lessons learned and challenges. It also provides an opportunity to exchange ideas with other SpringSim'10 symposia participants. We have planned some joint activities with HPC'10 (Symposium on High Performance Computer Simulation) bridging theory of modeling and simulation and High Performance Computer Simulation.

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

• Theory
  • DEVS modeling methodology
  • Hybrid system modeling & DEVS-integration of formalisms
  • Formal analysis and symbolic reasoning with DEVS
  • Model Checking
  • Graph Transformations
  • Activity paradigm: Complex adaptive systems, tracking, awareness
• Methodology
  • DEVS parallel & distributed simulators and simulations
  • Interoperability of DEVS simulators (grid, 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
  • Software-intensive/networked systems
  • Transportation and traffic systems
  • Ecological and environmental systems
  • Standards
• Toolkits and environments
  • Tools and libraries (DEVS, PN, Timed Automata, etc.)
  • Education aspects of Theory of Modeling and Simulation

The conference committee will accept three types of papers submitted as a PDF file through the SpringSim Submission Management System as listed below. The final version of all the papers must comply with the SCS conference format. All the submitted papers should be original and not have been submitted to other venues; they will be peer reviewed with respect to their quality, originality and relevance. The authors of the accepted paper must register in advance for inclusion of their paper in the conference proceedings.

1. Full manuscript: 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 of the Simulation Journal (SCS). Full papers will be published both in hard copy and CD-ROM.

2. Work in Progress: Short papers up to 6 pages in final conference format.

3. Short Papers: Papers with industrial focus, military or government applications, and work-in-progress in abstract or short paper format. All papers will be included in the conference proceedings and archived in both the the ACM Digital Library; Full Papers will be also printed in hard copy.

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