Events
*** ACL 2013 workshop on Language Technology for Cultural Heritage, Social Sciences, and Humanities (LaTeCH 2013) ***
Organized by SIGHUM
August 8, 2013 Sofia, Bulgaria
http://sighum.science.ru.nl/latech2013/
*** Call for Papers ***
The LaTeCH workshop series is a forum for researchers who develop technology for improved information access to data from the Humanities, Social Sciences, and Cultural Heritage. Applications in these domains are rapidly emerging, while they typically entail new challenges with respect to NLP resources and workflows.
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
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
