VSL 2014: VIENNA SUMMER OF LOGIC 2014
KInAR Home Page

Unfortunately the workshop has been canceled!

Overview

KInAR is the IJCAR workshop on Knowledge Intensive Automated Reasoning, dealing with the application of automated reasoning on large knowledge bases and with complex theories.

Detailed information on KInAR 2014 can be found on the KInAR 2014 website.

Call for Papers

Call for Papers

Important Dates

submission deadline: 28 April 2014
reviewing deadline: 10 May 2014
notification to authors: 12 May 2014
camera-ready versions: 26 May 2014
KInAR workshop: 17 July 2014

Organization

Program Committee