Proceedings of the fourth annual workshop on Computational learning theory