IJCAR is the premier international joint conference on all aspects of automated reasoning, including foundations, implementations, and applications, comprising several leading conferences and workshops.
The IJCAR logo designed in 2008 by Peter Baumgartner.