15th Meeting on the Mathematics of Language (MoL 2017)

Queen Mary University of London, 13-14 July

MoL 2017 Programme

Thursday, July 13 (Day 1)

9:00 - 9:30 Registration and Opening
Session 1
9:30 - 10:10 Junri Shimada. BE Is Not the Unique Homomorphism That Makes the Partee Triangle Commute
10:10 - 10:50 Armin Hoenen, Steffen Eger and Ralf Gehrke. How Many Stemmata with Root Degree k?
10:50 - 11:05 Coffee Break
Session 2
11:05 - 11:45 Adam Jardine. On the Logical Complexity of Autosegmental Representations
11:45 - 12:25 James Rogers and Dakotah Lambert. Extracting Forbidden Factors from Regular Stringsets
12:25 - 14:10 Lunch
14:10 - 14:30 S.-Y. Kuroda Prize Ceremony
14:30 - 14:35 Break
Session 3: Invited Talk
14:35 - 15:35 Shay Cohen. Latent-Variable PCFGs: Background and Applications
15:35 - 15:50 Coffee Break
Session 4
15:50 - 16:30 Nissim Francez. A proof-theoretic semantics for transitive verbs with an implicit object
16:30 - 17:10 Rohit Parikh. Why we speak
17:10 - 17:50 Thomas Icard, Lawrence Moss and William Tune. A Monotonicity Calculus and its Completeness
19:00 - Conference Dinner at QMUL Octagon

Friday, July 14 (Day 2)

Session 5: Invited Talk
9:30 - 10:30 Frank Drewes. DAG Automata for Meaning Representation
10:30 - 10:45 Coffee Break
Session 6
10:45 - 11:25 Sorcha Gilroy, Adam Lopez, Sebastian Maneth and Pijus Simonaitis. (Re)introducing Regular Graph Languages
11:25 - 12:05 Thomas Graf. Graph Transductions and Typological Gaps in Morphological Paradigms
12:05 - 13:50 Lunch
13:50 - 14:30 Business Meeting
14:30 - 14:35 Break
Session 7: Invited Talk
14:35 - 15:35 Stephen Clark. Introducing Structure into Neural Network-Based Semantic Models
15:35 - 15:50 Coffee Break
Session 8
15:50 - 16:30 Stepan Kuznetsov, Glyn Morrill and Oriol Valentín. Count-Invariance Including Exponentials
16:30 - 17:10 Stepan Kuznetsov and Alexander Okhotin. Conjunctive categorial grammars
17:10 Closing