IJCAR 2016



Date and time: 

June 26, 2016 to July 1, 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.