The Symposium of Theory of Modeling and Simulation started as a continuation of the bi-annual series of AIS conferences (Artificial Intelligence, Simulation and Planning in High Autonomy Systems) held during the '90s. The DEVS Symposium, held in SpringSim since 2005, started as an annual symposium with focus on the DEVS formalism. Theory and Foundations is the merge of two symposia at the Spring Simulation Conference: Theory of Modelling and Simulation and the Model-Driven Approaches for Simulation Engineering. Mod4Sim has been originally held as a workshop under the aegis of the Theory of Modeling & Simulation (TMS) symposium. Because of its success, it became its own symposium in 2016.

At present, the symposium focuses on different topics in theoretical, foundational and application oriented aspects of Modeling and Simulation.

• 2020 - Fairfax, VA, USA

• 2019 – Tucson, AZ, USA: TMS (Theory and Foundations of M&S) (program)

• 2018 – Baltimore, MD, USA: TMS/DEVS / Mod4Sim (program)

• 2017 – Virginia Beach, VA, USA: TMS/DEVS (program) / Mod4Sim

• 2016 – Pasadena, CA, US: TMS/DEVS (program) / http://www.sel.uniroma2.it/mod4sim16

• 2015 - Alexandria, VA, USA (program)

• 2014 - Tampa, FL, USA (program)

• 2013 - San Diego, CA, USA (program)

• 2012 - Orlando, FL, USA (program)

• 2011 - Boston, MA, USA (program)

• 2010 - Orlando, FL, USA (program)

• 2009 - San Diego, CA, USA (program)

• 2008 - Ottawa, ON, Canada (program)

• 2007 - Norfolk, Virginia, USA (program)

• 2006 - Huntsville, AL, USA (program)

• 2005 - San Diego, CA, USA (program)

2014 Proceedings Manuscripts have been sent to ACM and we are awaiting online publication

2013 Proceedings

2012 Proceedings

2011 Proceedings

2010 Proceedings, search for SESSION: Symposium on the Theory of Modeling and Simulation (DEVS)

2007 - 2009 Proceedings, DBLP search for DEVS under Contents

DEVS Symposium 2006; Huntsville, AL

DEVS Symposium 2005; San Diego, CA

AIS 2004; Jeju Island, Korea

AIS 2002; Lisbon, Portugal