Proceedings of the 2020 ACM SIGIR on International Conference on Theory of Information Retrieval