MOL
Association for Mathematics of Language
Association for Mathematics of Language
MOL is a special interest group of the Association for Computational Linguistics 
Eighth Meeting on Mathematics of Language
Program
| Friday, June 20, 2003 | ||
|---|---|---|
| 9.00--12.30 | Symposium: Language and Game Theory | |
| Martin Nowak (Harvard University) | ||
| Rohit Parikh (CUNY) | ||
| Robert van Rooy (University of Amsterdam) | ||
| Discussion: Larry Moss (Indiana University) | ||
| 12.30--14.00 | break | |
| 14.00--14.30 | m-Linear Context-Free Rewriting Systems in Abstract Categorial Grammar | |
| Philippe de Groote and Sylvain Pogodalla (LORIA) | ||
| 14.30--15.00 | Discovering a new class of languages | |
| Sean Fulop (University of Chicago) | ||
| 15.00--15.30 | Global Index Grammar and Descriptive Power | |
| Jose M. Castano (Brandeis University) | ||
| 15.30--16.00 | break | |
| 16.00--16.30 | On Scope Dominance with Monotone Quantifiers | |
| Gilad Ben-Avi & Yoad Winter (Technion) | ||
| 16.30--17.00 | Boolean Operators for Vectors: Negation and Disjunction of Word-Meanings | |
| Dominic Widdows & Stanley Peters (CSLI, Stanford) | ||
| 17.00--17.30 | A set-theoretical investigation of Panini's Sivasutras | |
| Wiebke Petersen (Heinrich-Heine-Universität, Düsseldorf) | ||
| Saturday, June 21, 2003 | ||
| 9.00--9.30 | Some Remarks on Arbitrary Multiple Pattern Interpretation | |
| Carlos Martin-Vide (Rovira i Virgili University, Tarragona) & Victor Mitrana (Bucharest) | ||
| 9.30--10.00 | The Semantic Complexity of some Fragments of English | |
| Ian Pratt-Hartmann (University of Manchester) | ||
| 10.00--10.30 | The complexity of reasoning on finite trees | |
| Patrick Blackburn (LORIA), Bernard Gaiffe (LORIA), Maarten Marx (Amsterdam) | ||
| 10.30--11.00 | break | |
| 11.00--12.00 | MoL/NASSLLI Lecture | |
| A Mathemtical Theory of Grammatical Categories | ||
| Ed Keenan & Ed Stabler (UCLA) | ||
| 12.00--14.00 | break | |
| 14.00--14.30 | Bounded and Ordered Satisfiability: Connecting Recognition with Lambek-style Calculi to Classical Satisfiability Testing | |
| Periklis A. Papakonstantinou, Michail Flouris, Lap Chi Lau, Tsuyoshi Morioka, and Gerald Penn (Toronto) | ||
| 14.30--15.00 | Querying Linguistic Treebanks with Monadic Second-Order Logic in Linear Time | |
| Stephan Kepser (Tübingen) | ||
| 15.00--15.30 | Spatial models for language: linguistic structure from an external perspective | |
| Luis D. Casillas Martinez (Stanford) | ||
| 15.30-16.00 | Learning local transductions is hard | |
| Martin Jansche (Ohio State University) | ||
| 16.00--16.30 | break | |
| 16.30--17.30 | Invited Lecture | |
| Aravind Joshi (University of Pennsylvania) | ||
| 17.30--18.00 | MoL business meeting | |
| 18.45 | MoL8 banquet Michael's Uptown Café | |
| Sunday, June 22, 2003 | ||
| 9.00--12.30 | Symposium: Statistical and Symbolic Aspects of Natural Language Learnability | |
| Jason Eisner (Johns Hopkins) | ||
| Makoto Kanazawa (Tokyo) | ||
| Dan Osherson (Rice) | ||
| Ed Stabler (UCLA) | ||