Ohio State nav bar

Dynamics Semantics Workshop: Modern Type Theoretic and Category Theoretic Approaches

talking heads graphic
October 24 - October 25, 2015
5:00AM - 5:00AM
Baker Systems Engineering Building, room 285

Date Range
Add to Calendar 2015-10-24 05:00:00 2015-10-25 05:00:00 Dynamics Semantics Workshop: Modern Type Theoretic and Category Theoretic Approaches Time: 9 a.m. Event Host: Department of Linguistics Short Description: The Department of Linguistics is hosting an international workshop at 9 a.m., Oct. 24 and 25 in Baker Systems 285 on the application of type logics and other mathematical frameworks to dynamic semantics. The Department of Linguistics is hosting an international workshop at 9 a.m., Oct. 24 and 25 in Baker Systems 285 on the application of type logics and other mathematical frameworks to dynamic semantics. Jointly sponsored by the Institute for Comparative Research at the University of Tsukuba in Japan and the Japan Society for the Promotion of Science and featuring presentations by prominent Japanese and American researchers. Free and open to all. A workshop dinner will be held at 7 p.m., Oct. 25 at Cafe Istanbul, 6125 Riverside Drive, Dublin, OH 43017.Schedule of EventsSaturday, Oct. 248:30-8:50 Coffee, light breakfast8:50-9 Introduction by the organizers9-10:45 Scott Martin (Nuance) It all depends: a modern, type-theoretic, compositional dynamic semantics for projection and beyond10:45-11 Coffee Break11-12:15 Murat Yasavul (Ohio State) A Dynamic Context Model for Questions12:15-2:15 Lunch2:15-4 Simon Charlow (Rutgers) Monadic dynamic semantics for anaphora4-4:15 Coffee Break4:15-5:30 Colin Zwanziger (Carnegie Mellon) Comonadic Categorical Semantics of Montague's Intensional LogicSunday, Oct. 258:30-9 Coffee, light breakfast9-10:15 Carl Pollard (Ohio State) Hyperintensionality meets monadic semantics10:15-10:30 Coffee Break10:30-12:15 Daisuke Bekki (Ochanomizu) Anaphora and Presuppositions in Dependent Type Semantics12:15-2:15 Lunch 14:15-15:30 Ribeka Tanaka (Ochanomizu) Generalized Quantifiers in Dependent Type Semantics3:30-3:45 Coffee Break3:45-5 Yusuke Kubota & Robert Levine (Tsukuba, Ohio State) Scope parallelism in coordination in Dependent Type Semantics5-5:30 Discussion Visit the Department of Linguistics for more information or contact Robert Levine at levine.1@osu.edu. Baker Systems Engineering Building, room 285 College of Arts and Sciences asccomm@osu.edu America/New_York public
Time: 9 a.m.
Event Host: Department of Linguistics
Short Description: The Department of Linguistics is hosting an international workshop at 9 a.m., Oct. 24 and 25 in Baker Systems 285 on the application of type logics and other mathematical frameworks to dynamic semantics.


The Department of Linguistics is hosting an international workshop at 9 a.m., Oct. 24 and 25 in Baker Systems 285 on the application of type logics and other mathematical frameworks to dynamic semantics. Jointly sponsored by the Institute for Comparative Research at the University of Tsukuba in Japan and the Japan Society for the Promotion of Science and featuring presentations by prominent Japanese and American researchers. Free and open to all. 

A workshop dinner will be held at 7 p.m., Oct. 25 at Cafe Istanbul, 6125 Riverside Drive, Dublin, OH 43017.

Schedule of Events

Saturday, Oct. 24

8:30-8:50 Coffee, light breakfast

8:50-9 Introduction by the organizers

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

10:45-11 Coffee Break

11-12:15 Murat Yasavul (Ohio State) A Dynamic Context Model for Questions

12:15-2:15 Lunch

2:15-4 Simon Charlow (Rutgers) Monadic dynamic semantics for anaphora

4-4:15 Coffee Break

4:15-5:30 Colin Zwanziger (Carnegie Mellon) Comonadic Categorical Semantics of Montague's Intensional Logic

Sunday, Oct. 25

8:30-9 Coffee, light breakfast

9-10:15 Carl Pollard (Ohio State) 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-2:15 Lunch 14:15-15:30 Ribeka Tanaka (Ochanomizu) Generalized Quantifiers in Dependent Type Semantics

3:30-3:45 Coffee Break

3:45-5 Yusuke Kubota & Robert Levine (Tsukuba, Ohio State) Scope parallelism in coordination in Dependent Type Semantics

5-5:30 Discussion

 

Visit the Department of Linguistics for more information or contact Robert Levine at levine.1@osu.edu.

Events Filters: