CADE - Conference on Automated DeductionCAV - Computer Aided VerificationLICS - IEEE Symposium on Logic in Computer ScienceFTP - International Workshop on First-Order Theorem ProvingLPAR - Logic for Programming Artificial Intelligence and Reasoning