EACL 2014 Type Theory and Natural Language Semantics Workshop (TTNLS)

Home | Call for papers | Programme committee | Programme | Important dates

Type Theory and NL Semantics


Gothenburg, Sweden

27th of April, 2014

Co-located with EACL 2014, Gothenburg, Sweden

Type theory has been a central area of research in logic, the semantics of programming languages, and natural language semantics over the past fi fty years. Recent developments in type theory have been used to reconstruct the formal foundations of computational semantics. 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 proposed workshop will provide a forum for the presentation of leading edge research in this fast developing sub eld of computational linguistics. To the best of our knowledge it will be the first major conference on this topic hosted by the ACL.

We look forward to seeing you in Gothenburg!

Invited speaker

  • Aarne Ranta (Chalmers, Gothenburg)


  • Robin Cooper (University of Gothenburg)
  • Simon Dobnik (University of Gothenburg)
  • Shalom Lappin (King's College, London)
  • Staff an Larsson (University of Gothenburg)


Simon Dobnik (ttnls at dobnik.net).

To the top

Page updated: 2014-04-24 10:50

Send as email
Print page
Show as pdf