International Joint Conference on Automated Reasoning (IJCAR), June 29-July 5, 2020 Paris, France https://ijcar2020.org/