Proceedings of the Scala Symposium