International Joint Conference on Automated Reasoning

IJCAR2016

The International Joint Conference on Automated Reasoning will take place at Universidade de Coimbra, Portugal, from June 27 to July 2, 2016.

Webpage