Select event terms to filter by
Select event type to filter by
Sunday March 03, 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
Wednesday March 06, 2013
Start: 6 Mar 2013 17:00

Big Picture View on the Translation Industry webinar to learn more about the market evolution described in the report and TAUS industry-shared services.


5-6pm CET, Wednesday 6 March 2013

Syndicate content