International Joint Conference on Automated Reasoning (IJCAR)