Proceedings of the 4th conference on Innovations in Theoretical Computer Science