Conference on Innovations in Theoretical Computer Science