Proceedings Third Israel Symposium on the Theory of Computing and Systems