Events
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
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
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
