Events - Filter:

Select event terms to filter by
Select event type to filter by
« Sunday March 03, 2013 »
Sun

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
Syndicate content