Proceedings of IEEE 9th Annual Conference on Structure in Complexity Theory