International Joint Conference on Automated Reasoning
 
  Logo
 
Description: 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.

Proceedings will be published by the LNCS series. Call For Papers and Call for Workshops.

Place:   DMat, University of Coimbra
URL:  http://www.uc.pt/en/congressos/ijcar2016
Start Date:   2016-06-27
End Date:   2016-07-02
Research Groups: -Algebra, Logic and Topology
See more:   <Main>  
 
© Centre for Mathematics, University of Coimbra, funded by
Science and Technology Foundation
Powered by: rdOnWeb v1.4 | technical support