International Joint Conference
27 June - 2 July, 2016
University of Coimbra, Portugal
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.
| Arnon Avron, Tel Aviv University (title, abstract)|| Gilles Barthe, IMDEA, Madrid (title, abstract)|| Sumit Gulwani, MSR, Redmond (title, abstract)|| André Platzer, CMU, Pittsburgh (title, abstract)|
|Departamento de Matemática|