Talk:International Workshop on First-Order Theorem Proving