# PRELIMINARY CALL FOR PAPERS
Theory and Foundation for Modeling & Simulation (TMS)
(Part of the 2020 Spring Simulation Conference)
George Mason University, VA, USA – April 2020
## Aims and Scope:
The TMS track aims to provide a forum to present the most recent advances in the Theory
and Foundations of Modeling and Simulation. The focus is on the M&S concepts, methods,
methodology, practice, and toolkits, as well as related lessons learned and challenges. This
track welcomes unpublished papers, and not under consideration in other venues, on the
topics below as well as others that can help deepen and expand the M&S Theory and
Foundations for better understanding and development of computing, physical, and human
systems.
* Modeling & Simulation Formalisms (Agents, DEVS, Petri nets, Statecharts, etc.)
* Multi-Paradigm/Multi-Domain Modeling, Multi-Resolution/Multi-Scale Modeling
* Model Composition, Hybrid Modeling Languages, Multi-Modal Modeling
* Model Checking, Formalism-Based Model Debugging, Model Transformation
* Modular Hybrid, Spatially Distributed, and Ultra Large Scale Systems
* Embedded, IoT, and Fog Computing Systems
* Parallel, Distributed, Real-Time, Cloud-Based, and Interactive Simulation
* Co-simulation, Interoperability, Simulation Languages, Numerical Solvers
* Simulation and Model Development Visualization Tools
* Model Libraries, Repositories, and Data Formats
Conference proceedings will be submitted to the ACM Digital Library, for archiving and indexed
in DBLP and SCOPUS. SpringSim is co-sponsored by SCS, ACM and IEEE.
## Organizers
General Chair: Joachim Denil, University of Antwerp, Belgium
General Co-Chair, Hessam Sarjoughian, Arizona State University, USA
Program Chair, Cristina Ruiz-Martin, Carleton University, Canada
Program Co-Chair, Gabriel Wainer, Carleton University, Canada
## Information about Previous Editions:
https://msdl.uantwerpen.be/conferences/tmsdevs/2019/
[apologies for duplicated postings – problems/issues: contact
vsim-conf-owner@sce.carleton.ca]