“...International Conference on Automated Deduction Miami Beach, Florida)...”