Dynamic Semantics: Modern Type Theoretic and Category Theoretic Approaches

An OSU-ICR co-sponsored workshop will be held on October 24-25 in Columbus, Ohio.

The ICR is announcing a co-sponsored two-day workshop to be held on October 24-25 at the Ohio State Univerisity.


Dynamic Semantics: Modern Type Theoretic and Category Theoretic Approaches

October 24-25, 2015 Ohio State University, Baker Systems Engineering (BE) Room 285



Daisuke Bekki (Ochanomizu University)

Simon Charlow (Rutgers University)

Yusuke Kubota (University of Tsukuba, Ohio State University) Robert Levine (Ohio State University)

Scott Martin (Nuance Communications)

Carl Pollard (Ohio State University)

Ribeka Tanaka (Ochanomizu University)

Murat Yasavul (Ohio State University)

Colin Zwanziger (Carnegie Mellon University)



Yusuke Kubota, University of Tsukuba, Ohio State University

Robert Levine, Ohio State University

Carl Pollard, Ohio State University


Workshop Program

Saturday, October 24

8:50-9:00 Introduction by the organizers

9:00-10:45 Scott Martin (Nuance) It all depends: a modern, type-theoretic, compositional dynamic semantics for projection and beyond

10:45-11:00 Coffee Break

11:00-12:15 Murat Yasavul (OSU) A Dynamic Context Model for Questions

12:15-14:15 Lunch

14:15-16:00 Simon Charlow (Rutgers) Monadic dynamic semantics for anaphora

16:00-16:15 Coffee Break

16:15-17:30 Colin Zwanziger (Carnegie Mellon) Comonadic Categorical Semantics of Montague’s Intensional Logic

Sunday, October 25

9:00-10:15 Carl Pollard (OSU) Hyperintensionality meets monadic semantics

10:15-10:30 Coffee Break

10:30-12:15 Daisuke Bekki (Ochanomizu) Anaphora and Presuppositions in Dependent Type Semantics

12:15-14:15 Lunch

14:15-15:30 Ribeka Tanaka (Ochanomizu) Generalized Quantifiers in Dependent Type Semantics

15:30-15:45 Coffee Break

15:45-17:00 Yusuke Kubota & Robert Levine (Tsukuba, OSU) Scope parallelism in

17:00-17:30 Discussion



The organizers gratefully acknowledge the support of the following institutions: The Ohio State University Department of Linguistics for a Targeted Investment in Excellence grant; the University of Tsukuba Institute for Comparative Research; and the Japan Society for the Promotion of Science for KAKENHI Grant number 15K16732.