10-14 Aug 2020
Utrecht, The Netherlands
COMPUTING SEMANTICS WITH TYPES, FRAMES AND RELATED STRUCTURES Workshop at ESSLLI 2020 August 10-14, 2020 Utrecht, The Netherlands URL: https://sites.google.com/view/cstfrs-2020/ AIMS The goal of this workshop is to bring together people interested in structured representations of semantic information, especially from a computational perspective. In recent years, there has been a growing body of research which aims to integrate structured entities into formal semantic accounts. Important developments in this direction are the introduction of rich type systems and the use of frame-based representations, among others. The workshop is open to both foundational issues of structured semantic representations and applications to specific linguistic phenomena. A first edition of the workshop took place in Gothenburg as part of IWCS 2019. TOPICS FOR SUBMISSIONS INCLUDE, BUT ARE NOT LIMITED TO: * Richly typed formalisms for natural language semantics. * Frame-based approaches to formal and computational semantics. * Applications of dependent types in semantics. * Semantic computation with structured representations. * Interactions between lexical semantic structures and compositional semantics. IMPORTANT DATES * April 17, 2020: Deadline for submitting papers * May 22, 2020: Notification to authors * June 13, 2020: Camera ready papers due * August 10-14, 2020: Workshop INSTRUCTIONS FOR AUTHORS Papers should not exceed 8 pages in length, excluding references, and should be formatted in accordance with the ACL style sheets (http://acl2020.org/downloads/acl2020-templates.zip). We strongly encourage authors to use LaTeX in preparing their document. Papers should be submitted anonymously via Easychair (https://easychair.org/conferences/?conf=cstfrs2020). ORGANIZERS Stergios Chatzikyriakidis (University of Gothenburg) Rainer Osswald (Heinrich Heine University Dsseldorf) CONTACT cstfrs.workshop@gmail.com -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam