Events

Select event terms to filter by
Select event type to filter by
« Week of February 25, 2013 »
MonTueWedThuFriSatSun
25
26
all day

*** 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.

27
28
1
2
3
all day

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