Events

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