Invited speakers

• Jean-Philippe Bernardy (University of Gothenburg)

• Robin Cooper (University of Gothenburg)

• Justyna Grudzińska (University of Warsaw)

Program (all times are CEST)

Monday, July 26

09:45 - 11:15 Jean-Philippe Bernardy (invited speaker)

Modalities for Functional Programming, Logic and Semantics

11:30 - 12:10 William Babonnaud

On the dual interpretation of nouns as types and predicates in semantic type theories

12:15 - 12:55 Zhaohui Luo

Donkey Anaphora: Type-Theoretic Semantics with Both Strong and Weak Sums

14:00 - 14:40 Samuel Ryb & Marten van Schijndel

Analytical, Symbolic and First-Order Reasoning within Neural Architectures

14:45 - 15:30 General discussion

Tuesday, July 27

09:45 - 11:15 Robin Cooper (invited speaker)

So what's all this structure good for? Some uses of record types in TTR

11:30 - 12:10 Tatiana Bladier, Gosse Minnema, Rik van Noord & Kilian Evang

Improving DRS Parsing with Separately Predicted Semantic Roles

12:15 - 12:55 Staffan Larsson, Jean-Philippe Bernardy & Robin Cooper

Semantic Learning in a Probabilistic Type Theory with Records

14:00 - 15:30 Justyna Grudzinska (invited speaker)

Dependent Types in Action: An Investigation into a Connection between

Preposition Senses and the Logic of Scope

16:00 - 16:40 Gerald Penn & Ken Shi

Feature Structures in the Wild: A Case Study in Mixing Traditional Linguistic Knowledge

Representation with Neural Language Models

16:45 - 17:30 General discussion and concluding remarks