~ / papers / talks / 2008-issac /