As part of ESSLLI 2015

New: program including abstracts available below!

TYTLES:



TYpe Theory and LExical Semantics

Barcelona, August 3-7 2015



(Robin Cooper, University of Gothenburg & Christian Retoré, LIRMM & université de Montpellier)

lestyt

Presentation



The pioneering work of Ranta (1994) on using Type Theory for NL semantics has initiated a strong interest in the use of Type Theories for representing formal semantics. And even though Type Theory was initially mainly concerned with compositional and formal semantics, a number of linguists, logicians and computer scientists noticed the relevance of type theory for lexical semantics as well. Around 2000 the paper “the metaphysics of words in context” by Asher & Pustejovsky (2001) initiated Type Theoretic approaches to lexical coercions and meaning transfers by investigating extension and refinement of the type system used by Montague. Accounts for this type of phenomena need to capture ordinary selectional restriction phenomena (e.g. a “chair” may not “bark”, in an ordinary context), while at the some time they have to ensure some flexibility for adapting meanings to contexts in case of meaning transfers, co-predication etc. The study of this kind of phenomena is of course not new. Their study goes back at least till the 80’s (Bierwisch, Nunberg, Cruse among others). What is relatively new is the study of these phenomena from the perspective of Type Theory and this approach is by now quite successful as valuable type theoretical contributions on incorporating lexical considerations into compositional semantics show (Asher, Bassac, Chatzikyriakidis, Cooper, Luo, Melloni, Mery, Moot, Prévot, Pustejovsky, Ranta, Real, Retoré)

Authors are invited to submit 4-page abstracts before March 31 on any subject related to the workshop, including:

Linguistically motivated variants of type theories (subtyping)

Lexical semantics in type theory (compositionality and the lexicon)

Interaction between lexical semantics and type theoretical semantics

Classical semantic questions in richly typed frameworks (plurals, quantification, generics)

Modelling specific questions in type theory (nouns, deverbals, events, adjectives, adverbs, ontological aspects,)

Computational aspects and implementation of type theoretical semantics (natural language inference, proof assistants,…)

Important dates

submission of 4-page abstract (PDF) before March 31

please use https://easychair.org/conferences/?conf=tytles-2015

notification of acceptance: April 30

revised 4 page abstracts due: May 15

conference date and location: Barcelona August 3-7 2015 see ESSLLI 2015

Program with Papers

Papers on this page should be referred to as follows: Author, Title in ESSLLI proceedings of the TYTLES workshop on Type Theory and Lexical Semantics (Cooper, Retoré, eds) ESSLLI 2015, Barcelona.

