CFP: 20th Automated Reasoning Workshop

3 Mar 2013

ARW 2013

20th Automated Reasoning Workshop

School of Computing, University of Dundee, UK

11-12 April 2013

Student Grant Application Deadline: 18 February 2013

Abstract Submission Deadline: 3 March 2013

Topics include but are not limited to:

  • Theorem proving in classical and non-classical logics
  • Interactive theorem proving, logical frameworks, proof assistants, proof planning
  • Reasoning methods ** Saturation-based, instantiation-based, tableau, SAT ** Equational reasoning, unification ** Constraint satisfaction ** Decision procedures, SMT ** Combining reasoning systems ** Non-monotonic reasoning, commonsense reasoning, ** Abduction, induction ** Model checking, model generation, explanation
  • Formal methods to specifying, deriving, transforming and verifying computer systems, requirements and software
  • Logic-based knowledge representation and reasoning: ** Ontology engineering and reasoning ** Domain specific reasoning (spatial, temporal, epistemic,agents, etc)
  • Logic and functional programming, deductive databases
  • Implementation issues and empirical results, demos
  • Practical experiences and applications of automated reasoning