posted by user: peterljunglof || 4127 views || tracked by 8 users: [display]

TTNLS 2014 : Type Theory and Natural Language Semantics

FacebookTwitterLinkedInGoogle

Link: http://clt.gu.se/event/2014-04-27/type-theory-workshop-eacl-2014
 
When Apr 27, 2014 - Apr 27, 2014
Where Gothenburg, Sweden
Submission Deadline Jan 23, 2014
Notification Due Feb 20, 2014
Final Version Due Mar 3, 2014
Categories    NLP   type theory
 

Call For Papers

Call for Papers - Submission Deadline 23 January 2014

TTNLS: EACL 2014 Type Theory and Natural Language Semantics Workshop

Co-located with EACL 2014, Gothenburg, Sweden

27th of April, 2014

http://clt.gu.se/event/2014-04-27/type-theory-workshop-eacl-2014
http://eacl2014.org/


WORKSHOP DESCRIPTION

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


TOPICS

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


Programme Committee:

* Krasimir Angelov (Chalmers, Gothenburg)
* Patrick Blackburn (Roskilde)
* Stergios Chatzikyriakidis (Royal Holloway, London)
* Steve Clark (Cambridge)
* 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)
* Ray Turner (Essex)


SUBMISSION

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 http://www.eacl2014.org/files/eacl-2014-styles.zip ).

Submissions can be made via the TTNLS START Conference Management's system website: https://www.softconf.com/eacl2014/TT/


CONTACT

For any queries please contact us at: simon.dobnik (-@-) gu (-.-) se


IMPORTANT DATES

Submission Deadline 23 January 2014
Notification 20 February 2014
Camera Ready Deadline 3 March 2014
Workshop Day 27 April 2014


WORKSHOP ORGANISERS

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

Related Resources

CLNLP 2024   2024 International Conference on Computational Linguistics and Natural Language Processing (CLNLP 2024)
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
ECNLPIR 2024   2024 European Conference on Natural Language Processing and Information Retrieval (ECNLPIR 2024)
NLDB 2024   The 29th International Conference on Natural Language & Information Systems
ACM NLPIR 2024   ACM--2024 8th International Conference on Natural Language Processing and Information Retrieval (NLPIR 2024)
NLE Special Issue 2024   Natural Language Engineering- Special issue on NLP Approaches for Computational Analysis of Social Media Texts for Online Well-being and Social Order
COMIT 2024   8th International Conference on Computer Science and Information Technology
FLLM 2024   The 2nd International Conference on Foundation and Large Language Models
JARES 2024   International Journal of Advance Robotics & Expert Systems
PrivateNLP 2024   ACL 2024 Workshop on Privacy and Natural Language Processing