Proceedings of the 4th symposium on Simulation of computer systems - Highland