Title: Proceedings of the 4th Conference on Innovations in Theoretical Computer Science