Proceedings of the 3rd symposium on Simulation of computer systems - Highland