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. The proposed workshop, co-located with EACL 2014, will provide a forum for the presentation of leading edge research in this fast developing subfield of computational linguistics.
More information on the workshop webpage.
Location: Gothenburg, Sweden