Program

September 6

11:00 – 11:30 Registration and Opening
11:30 – 12:30 Invited Talk
Andreas Maletti (University of Stuttgart)
Tree Transformations and Dependencies
12:30 – 13:30 Lunch
13:30 – 14:15 Zengchang Qin (CMU), Qi Zhao (Beihang University), and Tao Wan (CMU)
What is the Basic Semantic Unit of Chinese Language? A Computational Approach Based on Topic Models CANCELED
Business Meeting
14:15 – 15:00 Timothy Fowler (University of Toronto)
The Generative Power of Probabilistic and Weighted Context-Free Grammars
15:00 – 15:30 Coffee Break
15:30 – 16:15 Matthew Skala (University of Manitoba) and Gerald Penn (University of Toronto)
Approximate Bit Vectors for Fast Unification
16:15 – 17:00 Shunsuke Yatabe (National Institute of Advanced Industrial Science and Technology)
A Co-inductive Language and Truth Degrees
17:00 – 17:15 Break
17:15 – 18:15 Invited Talk
Kit Fine (New York University)
Truthmaker Semantics I
18:15 – 19:00 Move to Dinner
19:00 – 21:00 Conference Dinner

September 7

09:30 – 10:30 Invited Talk
Andreas Maletti (University of Stuttgart)
Preservation of Recognizability for Weighted Tree Transformations
10:30 – 11:00 Coffee Break
11:00 – 11:45 Christian Wurm (Bielefeld University)
Regular Growth Automata: Properties of a Class of Finitely Induced Infinite Machines
11:45 – 12:30 Alexander Clark (Royal Holloway University of London)
A Language Theoretic Approach to Syntactic Structure
12:30 – 12:45 Move to Lunch
12:45 – 14:15 Lunch
14:15 – Guided Walking Tour of Nara

September 8

09:45 – 10:30 Nina Gierasimczuk (University of Groningen) and Jakub Szymanik (University of Groningen)
Invariance Properties of Quantifiers and Multiagent Information Exchange
10:30 – 11:00 Coffee Break
11:00 – 11:45 Tim Hunter (Yale University)
Insertion Minimalist Grammars: Eliminating Redundancies Between Merge and Move
11:45 – 12:30 Gregory Kobele (University of Chicago) and Jens Michaelis (Bielefeld University)
Disentangling Notions of Specifier Impenetrability: Late Adjunction, Islands, and Expressive Power
12:30 – 13:30 Lunch
13:30 – 14:15 Yoad Winter (Utrecht University) and Joost Zwarts (Utrecht University)
Event Semantics and Abstract Categorial Grammar
14:15 – 15:00 Pierre Bourreau (LaBRI) and Sylvain Salvati (LaBRI)
A Datalog Parser for Almost Affine λ-CFGs
15:00 – 15:30 Coffee Break
15:30 – 16:30 Invited Talk
Kit Fine (New York University)
Truthmaker Semantics II
16:30 Closing
Comments