The LINGUIST List is dedicated to providing information on language and language analysis, and to providing the discipline of linguistics with the infrastructure necessary to function in the digital world. LINGUIST is a free resource, run by linguistics students and faculty, and supported primarily by your donations. Please support LINGUIST List during the 2016 Fund Drive.
|Full Title:||EACL 2014 Type Theory and Natural Language Semantics Workshop|
|Start Date:||27-Apr-2014 - 27-Apr-2014|
|Meeting Email:||click here to access email|
|Meeting Description:||EACL 2014 Type Theory and Natural Language Semantics Workshop (TTNLS)
Co-located with EACL 2014, Gothenburg, Sweden
27 April 2014
The workshop provides a forum for the novel applications of type theory in computational semantics.
Type theory has been a central area of research in logic, the semantics of programming languages, and natural language semantics over the past fifty years. Recent developments in type theory have been used to reconstruct the formal foundations of computational semantics (Ranta (1994), Fox and Lappin (2005), Ginzburg (2012), Retore (2012), Cooper (2012), Cooper et al. (2013)). These theories are generally intensional and polymorphic in character, and they allow for structured, fine-grained encoding of information across a diverse set of linguistic domains.
The work in this area has opened up new approaches to modeling the relations between inter alia, syntax, semantic interpretation, dialogue, inference, and cognition, from a largely proof theoretic perspective.
The workshop provides a forum for the presentation of leading edge research in this fast developing subfield of computational linguistics. To the best of our knowledge it will be the first major conference on this topic hosted by the ACL.
|Linguistic Subfield:||Computational Linguistics; General Linguistics; Linguistic Theories; Philosophy of Language; Semantics|
| This is a session of the following meeting:
14th Conference of the European Chapter of the Association for Computational Linguistics
|Calls and Conferences main page|