Companion Proceedings of the 5th International Conference on the Art, Science, and Engineering of Programming - Church