3-7 Aug 2015
Barcelona, Spain
As part of ESSLLI 2015 TYTLES: TYpe Theory and LExical Semantics Barcelona, August 3-7 2015 (Robin Cooper, University of Gothenburg & Christian Retoré, LIRMM & université de Montpellier) 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. Th eir 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 http://esslli2015.org Program committee Robin Cooper (University of Gothenburg, CoChair), Christian Retoré (Université de Montpellier, & LIRMM CoChair) Alexandra Arapinis (CNR, Trento) Nicholas Asher (CNRS, Toulouse) Christian Bassac (Université Lyon II) Stergios Chatzikyriakidis (CNRS et LRIMM, Montpellier) Shalom Lappin (King?s College, London) Zhaohui Luo (Royal Holloway, University of London) Chiara Melloni (CNR, Verona) Bruno Mery (Université de Bordeaux) Richard Moot (CNRS, Bordeaux) Glyn Morrill (Universitat Polytècnica de Catalunya, Barcelona) Larry Moss (Indiana University, Bloomington) Reinhard Muskens (Universiteit Tilburg) Livy Real (Universidade Federal do Paraná, Curitiba)