Creating and sharing knowledge for telecommunications

International Joint Conference on Automated Reasoning

on 27-06-2016


IJCAR is the premier international joint conference on all aspects of automated reasoning, including foundations, implementations, and applications, comprising several leading conferences and workshops.

Previous conferences were held in Vienna, Austria, 2014; Manchester, United Kingdom, 2012; Edinburgh, United Kingdom, 2010; Sydney, Australia, 2008; Seattle, USA, 2006; Cork, Ireland, 2004; Siena, Italy, 2001.

IJCAR 2016 will be hosted by the Mathematics Department of the University of Coimbra, Portugal:

from the 27th of June of 2016 to the 2nd of July of 2016.

More Information..