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.

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

• 2020 - Fairfax, VA, USA

• 2020 - Fairfax, VA, USA

• 2019 – Tucson, AZ, USA: TMS (Theory and Foundations of M&S) (program)
• 2018 – Baltimore, MD, USA: TMS/DEVS (program) / Mod4Sim (program) * [[http://msdl.uantwerpen.be/tmsdevs/2017/| 2017 – Virginia Beach, VA, USA: TMS/DEVS (program) / Mod4Sim (program) * [[https://msdl.uantwerpen.be/tmsdevs/2016| 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