A celebration of Robert Aumann's achievements on the occasion of his 80th birthday