Israel Symposium on the Theory of Computing and Systems