24.5187, Calls: Computational Ling, Ling Theories, Philosophy of Ling, Semantics, General Ling/Sweden

[linguist at linguistlist.org]

LINGUIST List: Vol-24-5187. Fri Dec 13 2013. ISSN: 1069 - 4875.

Subject: 24.5187, Calls: Computational Ling, Ling Theories, Philosophy of Ling, Semantics, General Ling/Sweden

Moderator: Damir Cavar, Eastern Michigan U <damir at linguistlist.org>

Reviews: 
Monica Macaulay, U of Wisconsin Madison
Rajiv Rao, U of Wisconsin Madison
Joseph Salmons, U of Wisconsin Madison
Mateja Schuck, U of Wisconsin Madison
Anja Wanner, U of Wisconsin Madison
       <reviews at linguistlist.org>

Homepage: http://linguistlist.org

Do you want to donate to LINGUIST without spending an extra penny? Bookmark
the Amazon link for your country below; then use it whenever you buy from
Amazon!

USA: http://www.amazon.com/?_encoding=UTF8&tag=linguistlist-20
Britain: http://www.amazon.co.uk/?_encoding=UTF8&tag=linguistlist-21
Germany: http://www.amazon.de/?_encoding=UTF8&tag=linguistlistd-21
Japan: http://www.amazon.co.jp/?_encoding=UTF8&tag=linguistlist-22
Canada: http://www.amazon.ca/?_encoding=UTF8&tag=linguistlistc-20
France: http://www.amazon.fr/?_encoding=UTF8&tag=linguistlistf-21

For more information on the LINGUIST Amazon store please visit our
FAQ at http://linguistlist.org/amazon-faq.cfm.

Editor for this issue: Bryn Hauk <bryn at linguistlist.org>
================================================================  

Visit LL's Multitree project for over 1000 trees dynamically generated
from scholarly hypotheses about language relationships:
          http://multitree.linguistlist.org/
					
					

Date: Fri, 13 Dec 2013 16:09:23
From: Simon Dobnik [ttnls at dobnik.net]
Subject: EACL 2014 Type Theory and Natural Language Semantics Workshop

E-mail this message to a friend:
http://linguistlist.org/issues/emailmessage/verification.cfm?iss=24-5187.html&submissionid=24312258&topicid=3&msgnumber=1
 
Full Title: EACL 2014 Type Theory and Natural Language Semantics Workshop 
Short Title: TTNLS 

Date: 27-Apr-2014 - 27-Apr-2014
Location: Gothenburg, Sweden 
Contact Person: Simon Dobnik
Meeting Email: simon.dobnik at gu.se
Web Site: http://clt.gu.se/event/2014-04-27/type-theory-workshop-eacl-2014 

Linguistic Field(s): Computational Linguistics; General Linguistics; Linguistic Theories; Philosophy of Language; Semantics 

Call Deadline: 23-Jan-2014 

Meeting Description:

EACL 2014 Type Theory and Natural Language Semantics Workshop (TTNLS)
Co-located with EACL 2014, Gothenburg, Sweden
27 April 2014
http://clt.gu.se/event/2014-04-27/type-theory-workshop-eacl-2014
http://eacl2014.org/

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.

2nd Call for Papers:

Submission deadline: 23 January 2014

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)

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 (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: ttnls at dobnik.net

Important Dates:

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







----------------------------------------------------------
LINGUIST List: Vol-24-5187	
----------------------------------------------------------
Visit LL's Multitree project for over 1000 trees dynamically generated
from scholarly hypotheses about language relationships:
          http://multitree.linguistlist.org/