Proceedings of the Theory of Modeling and Simulation Symposium