Proceedings of the Symposium on Theory of Modeling & Simulation