3-14 Aug 2020
Utrecht, The Netherlands
We are happy to announce the programme for ESSLLI 2020 3-14 August 2020, Utrecht University In addition to the courses and workshops listed below and on the ESSLLI2020 website (https://www.esslli.eu/programme/courses-and-workshops.html), the programme features a Student Session. The 25th Conference on Formal Grammar is held in conjunction with ESSLLI on 8-9 August 2020. Registration will open in the course of February. We will communicate the details in a separate mailing. Raffaella F = Foundational course I = Introductory course A = Advanced course W = Workshop WEEK 1 (August 3-7, 2020) Language and Computation Mathias Winther Madsen. Information theory. (F) Gregory Scontras. Probabilistic Language Understanding. (I) Mark Steedman and Cem Boz?ahin. CCG and Linguistic Diversity. (I) David Schlangen. Natural Language Semantics with Pictures: An Introduction to Working with Language and Vision Corpora. (I) Simon Charlow and Dylan Bumford. Effectful composition in natural language semantics. (A) Lisa Beinborn and Willem Zuidema. Analyzing the Cognitive Plausibility of Deep Language Models. (A) Ielka van der Sluis and James Pustejovsky. Annotation, Recognition and Evaluation of Actions II. (W) Kordula De Kuthy and Detmar Meurers. Integrating Perspectives on Discourse Annotation. (W) Logic and Language Philippe de Groote and Yoad Winter. Introduction to natural language formal semantics. (F) Yael Greenberg and Carla Umbach. Additivity, scalarity and the interactions between them: Beyond 'also' and 'even'. (I) Andras Kornai. Unifying formulaic, geometric, and algebraic theories of semantics. (I) Natasha Korotkova and Pranav Anand. An opinionated guide to predicates of personal taste. (I) Joost Zwarts. The semantics of metaphor. (I) Kristina Liefke and Ede Zimmermann. Intensionalism and Propositionalism in Linguistic Semantics. (A) Davide Grossi and Carlo Proietti. Abstract Argumentation and Modal Logic. (A) Mora Maldonado, Alexander Martin and Jennifer Culbertson. Experimental approaches to language universals in structure and meaning. (W) Logic and Computation Thomas Graf. The Computational Nature of Language. (F) Camillo Fiorentini. Semantics based proof-search methods for non-classical logics. (I) Réka Markovich and Leon van der Torre. Introduction to Deontic Logic and Its Applications. (I) Pavel Naumov. Actions, Blames, and Regrets. (I) Willem Heijltjes and Lutz Straßburger. From Proof Nets to Combinatorial Proofs: A new approach to Hilbert's 24th problem. (A) Anuj Dawar and Gregory Wilsenach. Symmetric Computation. (A) Tadeusz Litak and Albert Visser. Lewis meets Brouwer: Constructive strict implication. (A) Natasha Alechina and Brian Logan. Workshop on automated synthesis. (W) WEEK 2 (August 10-14, 2020) Language and Computation Stefan Evert and Gabriella Lapesa. Hands-on Distributional Semantics: From first steps to interdisciplinary applications. (F) Diego Frassinelli and Sabine Schulte Im Walde. Cognitive and Computational Models of Abstractness. (F) Jose Camacho Collados and Mohammad Taher Pilehvar. Embeddings in Natural Language Processing. (I) Jean-Philippe Bernardy and Aleksandre Maskharashvili. Probabilistic Semantics and Inference Under Uncertainty in Natural Language. (I) Michael Henry Tessler. Probabilistic models of world knowledge for language understanding. (A) Adina Williams and Ryan Cotterell. Information Theory in Linguistics: Methods and Applications. (A) Shane Steinert-Threlkeld and Jakub Szymanik. Computational and Experimental Explanations in Semantics and Pragmatics. (W) Stergios Chatzikyriakidis and Rainer Osswald. Workshop on Computing Semantics with Types, Frames and Related Structures. (W) Logic and Language Bart Geurts. Commitment-based pragmatics. (F) Judith Tonhauser and Judith Degen. Projective content: From theory to data and back. (I) Elsi Kaiser and Deniz Rudin. The semantics and psycholinguistics of subjective predicates. (I) Patrick Georg Grosz and Mélissa Berthet. Theoretical and Methodological Approaches to Animal Semantics: a Super Linguistic Introduction. (I) Hans Kamp and Emar Maier. An update on Discourse Representation Theory: Reference, attitudes, fiction, and pictures. (A) Lucas Champollion. Advanced mereology for linguists. (A) Jakub Dotla?il and Floris Roelofsen. Dynamic inquisitive semantics. (A) Judith Degen, Benjamin Spector and Daniel Lassiter. Approaches to implicature: Rational choice and/or exhaustification. (W) Logic and Computation Arne Meier and Jonni Virtema. Introduction to Propositional Dependence Logic. (I) Christoph Berkholz and Thomas Zeume. Logic in Databases: Foundations of Query Evaluation. (I) Valentin Goranko. Temporal Logics. (I) Pablo Barceló and Diego Figueira. Foundations of query languages for graph databases. (I) Eric Pacuit. Probabilistic methods in social choice. (I) Fei Liang and Alessandra Palmigiano. Logical foundations of categorization theory. (A) Phokion Kolaitis. Logic, Data, and Incomplete Information. (A) Jouko Väänänen and Fan Yang. Workshop on Logics of Dependence and Independence. (W) -- [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