Table of Contents

Call for Papers

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, as well as lessons learned and challenges. The Symposium will focus on bridging different areas in the field of Theory of Modeling and Simulation, including formal modeling, model-checking, graph transformation, modeling methodologies and tools. It also provides an opportunity to exchange ideas with other SpringSim'10 symposia participants in different fields. In particular, we have planned joint activities with the HPC'10 (Symposium on High Performance Computer Simulation) with the goal of discussing advanced topics mixing Theory of Modeling and Simulation and High Performance Computer Simulation.

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


The conference committee will accept 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 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.


Important Dates

Full Paper Submission 1) 21 Nov 2009
Notification 2) Jan 5 2010
Final Paper due 3) Jan 25 2010
1) Submit technical articles and experience reports, properly formatted in accordance with these guidelines
2) The program committee will review the papers and determine which ones will be accepted
3) The final version of accepted papers, incorporating changes based on reviewer comments, are due by this date