Talk:International Joint Conference on Automated Reasoning