Appel: Type Theory and Natural Language Semantics Workshop, EACL 2014

Thierry Hamon hamon at LIMSI.FR
Wed Jan 8 07:07:10 UTC 2014

Date: Fri, 3 Jan 2014 19:03:43 +0100
From: retore <christian.retore at>
Message-Id: <D975933A-01A5-4805-8CCC-8055D1761010 at>


TTNLS: EACL 2014 Type Theory and Natural Language Semantics Workshop

Co-located with EACL 2014, Gothenburg, Sweden

27th of April, 2014

Submission deadline: 23rd January 2014


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), Retoré (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

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

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.


We invite papers on topics including, but not limited to, the following:

* subtyping
* lexical semantics
* record types
* intensionality
* probabilistic type theory
* type theory and the interface among syntax, semantics, phonology
* type theory and functional programming
* type theory, logic, and inference

Workshop Organisers

* Robin Cooper (Gothenburg)
* Simon Dobnik (Gothenburg)
* Shalom Lappin (King's College, London)
* Staffan Larsson (Gothenburg)

Programme Committee:

* Krasimir Angelov (Chalmers, Gothenburg)
* Patrick Blackburn (Roskilde) 
* Stergios Chatzikyriakidis (Royal Holloway, London)
* Steve Clark (Cambridge)
* Philippe de Groote (Inria Nancy - Grand Est)
* Jan van Eijck (Amsterdam)
* Raquel Fernández (Amsterdam)
* Tim Fernando (Trinity College, Dublin)
* Chris Fox (Essex)
* Jonathan Ginzburg (Paris 7)
* Zhaohui Luo (Royal Holloway, London)
* Bruno Mery (LaBRI, Bordeaux)
* Glyn Morrill (Politècnica de Catalunya, Barcelona)
* Larry Moss (Indiana)
* Reinhard Muskens (Tilburg)
* Bengt Nordström (Chalmers, Gothenburg)
* Valeria de Paiva (Nuance, Sunnyvale California)
* Carl Pollard (Ohio State University)
* Ian Pratt-Hartmann (Manchester)
* Steve Pulman (Oxford)
* Matt Purver (Queen Mary, London)
* Aarne Ranta (Chalmers, Gothenburg)
* Christian Retoré (LaBRI, Bordeaux)
* Scott Martin (Nuance, Sunnyvale California)
* Ray Turner (Essex)


All papers should be submitted in English as PDF documents. Note that
submissions must be anonymous. We welcome full papers of up to 8 pages
and 1 additional page for references formatted in accordance with the
EACL'14 style files
(see ).

Submissions can be made via the TTNLS START Conference Management's
system website:


For any queries please contact us at: ttnls <- at -> dobnik <-.-> net


Submission Deadline: 23 January 2014
Notification: 20 February 2014
Camera Ready Deadline: 3 March 2014
Workshop Day: 27 April 2014
Message diffuse par la liste Langage Naturel <LN at>
Informations, abonnement :
English version       : 
Archives                 :

La liste LN est parrainee par l'ATALA (Association pour le Traitement
Automatique des Langues)
Information et adhesion  :

ATALA décline toute responsabilité concernant le contenu des
messages diffusés sur la liste LN

More information about the Ln mailing list