CFP: 20th Automated Reasoning Workshop

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

http://www.computing.dundee.ac.uk/staff/katya/arw2013

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