Theory and Foundations of Modelling and Simulation Track Spring Simulation Conference – May 2020 Submission deadline extended: January 6, 2020. http://www.tmsdevs.org Top articles will be invited to submit extended versions to a Special Issue for the SIMULATION journal https://journals.sagepub.com/home/sim (Special Issue information: http://shorturl.at/cuxOZ ) TMS 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 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 Organization Committee: General Chairs: Joachim Denil, University of Antwerp, Belgium Hessam Sarjoughian, Arizona State University, USA Program Chairs: Gabriel Wainer, Carleton University, Canada Cristina Ruiz-Martin, Carleton University, Canada Further information: http://www.tmsdevs.org [apologies for cross postings – problems/issues: contact vsim-conf-owner@sce.carleton.ca]