Programme

Author Title Main area Type
Daniel Bauer Graph Grammars for Natural Language Processing LaCo Advanced
Lasha Abzianidze and Reinhard Muskens A Natural Proof System for Natural Language LaCo Advanced
Anna Rogers Advanced NLP with Python LaCo Advanced
Asad Sayeed Scope in an incremental context LaCo Advanced
Julian Hough and Arash Eshghi Incremental Language Processing in Dialogue Systems: A Practical Introduction LaCo Advanced
Sorcha Gilroy and Adam Lopez Graph Formalisms for Meaning Representations LaCo Foundational
Michael Franke Primer on design, implementation \& deployment of browser-based behavioral experiments LaCo Foundational
Shane Steinert-Threlkeld and Jakub Szymanik Learnability of Quantifiers LaCo Introductory
Tom Heyman and Steven Verheyen Open Science: A Hands-On Primer LaCo Introductory
Martha Lewis and Mehrnoosh Sadrzadeh Vector Space Models of Meaning LaCo Introductory
Anna Rogers Introduction to NLP with Python
LaCo Introductory
Tatjana Scheffler Shallow Discourse Parsing LaCo Introductory
Dario Paape Breaking the rules? Good-enough processing and related phenomena LaCo Introductory
Simon Dobnik and John Kelleher Language, Action and Perception (APL-ESSLLI) – Course Proposal for ESSLLI 2019 LaCo Introductory
Martha Lewis, Dan Marsden and Mehrnoosh Sadrzadeh Workshop on Semantic Spaces at the Intersection of NLP, Physics, and Cognitive Science LaCo Workshop
Paul Dekker Theory of Interpretation LaLo Advanced
David Beaver and Kai von Fintel Variable costs LaLo Advanced
Natasha Korotkova Speech reports LaLo Advanced
Stergios Chatzikyriakidis and Zhaohui Luo From Montague Semantics to Modern Type Theories: A Meaningful Comparison LaLo Advanced
Maziar Toosarvandani Semantics and pragmatics of temporal sequencing LaLo Advanced
Staffan Larsson and Robin Cooper Modelling linguistic communication using types LaLo Foundational
Niki Pfeifer Probability logic, language, and the mind LaLo Foundational
Kata Balogh and Wiebke Petersen Formal Languages in Theory and Practice LaLo Foundational
André Bazzoni and Manuel García-Carpintero Proper Names: Logic, Semantics, and Metaphysics LaLo Introductory
Lelia Glass Distributivity: Debates, advances, questions LaLo Introductory
Yoad Winter Formal Semantics of Natural Language LaLo Introductory
Daniel Altshuler and Julian Schlöder Anaphora and ambiguity in narratives LaLo Introductory
Lisa Bylinina and Rick Nouwen Numeral semantics LaLo Introductory
Paolo Santorio and Fabrizio Cariani Probabilities and counterfactuals LaLo Introductory
Alexandre Cremers Model design in R: Testing complex semantic theories with simple statistical tools LaLo Introductory
Grégoire Winterstein, Elin McCready and Christopher Davis Integrating Approaches to Social Meaning 2 LaLo Workshop
Hans van Ditmarsch and Louwe B. Kuijer Quantifying over information change LoCo Advanced
Valentin Shehtman and Ilya Shapirovsky Bisimulations and filtrations in modal logic LoCo Advanced
Jørgen Villadsen Introduction to Type Theory and Higher-Order Logic LoCo Advanced
Oliver Fernandez Gil Unification in Description Logics LoCo Advanced
Michael Kohlhase and Florian Rabe Formalizing the Zoo of Logical Systems LoCo Advanced
Hans van Ditmarsch and Eric Pacuit Puzzles LoCo Foundational
Jan Broersen and Hein Duijf Responsibility in Action LoCo Foundational
Johann Makowsky and Klaus Meer P vs NP over various structures LoCo Foundational
Andrea Aler Tubella and Lutz Straßburger An introduction to deep inference LoCo Introductory
Valentin Goranko Games Logicians Play LoCo Introductory
Fernando R. Velázquez-Quesada Logical Dynamics of Social Interaction: Social Influence LoCo Introductory
Jeff Horty and Eric Pacuit Logics of Action, Ability, Knowledge and Obligation LoCo Introductory
Pavel Naumov Resources, Knowledge, and Actions LoCo Introductory
Andrzej Murawski and Nikos Tzevelekos Game Semantics LoCo Introductory
Sophia Knight and Aybüke Özgün Topological Approaches to Epistemic Logic LoCo Introductory
Leszek Wronski and Michał Tomasz Godziszewski Epistemic Inaccuracy and Degrees of Belief: Conceptual and Mathematical Foundations of Formal Epistemology LoCo Introductory