~ / talks / artin /