MOL
Association for Mathematics of Language

MOL is a special interest group of the Association for Computational Linguistics ACL Logo

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 (ps) (pdf)
Philippe de Groote and Sylvain Pogodalla (LORIA)
14.30--15.00 Discovering a new class of languages (ps) (pdf)
Sean Fulop (University of Chicago)
15.00--15.30 Global Index Grammar and Descriptive Power (ps) (pdf)
Jose M. Castano (Brandeis University)
15.30--16.00 break
16.00--16.30 On Scope Dominance with Monotone Quantifiers (ps) (pdf)
Gilad Ben-Avi & Yoad Winter (Technion)
16.30--17.00 Boolean Operators for Vectors: Negation and Disjunction of Word-Meanings (ps) (pdf)
Dominic Widdows & Stanley Peters (CSLI, Stanford)
17.00--17.30 A set-theoretical investigation of Panini's Sivasutras (ps) (pdf)
Wiebke Petersen (Heinrich-Heine-Universität, Düsseldorf)
Saturday, June 21, 2003
9.00--9.30 Some Remarks on Arbitrary Multiple Pattern Interpretation (ps) (pdf)
Carlos Martin-Vide (Rovira i Virgili University, Tarragona) & Victor Mitrana (Bucharest)
9.30--10.00 The Semantic Complexity of some Fragments of English (ps) (pdf)
Ian Pratt-Hartmann (University of Manchester)
10.00--10.30 The complexity of reasoning on finite trees (ps) (pdf)
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 (ps) (pdf)
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 (ps) (pdf)
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 (ps) (pdf)
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)