Contact Person : Peter Baumgartner; Last Date for the submission of abstract : Not Available ; Description : IJCAR is the premier international joint conference on all aspects of automated reasoning, including foundations, implementations, and applications. The IJCAR technical program will consist of presentations of high-quality original research pape