CSLI Publications logo
new books
knuth books
contact us
for authors
CSLI Publications

Formal Grammar / Mathematics of Language 2005

Aims and Scope

FG is a series of conferences on Formal Grammar, held in conjunction with the European Summer School in Logic, Language and Information, which takes place yearly in Europe. FG provides a forum for the presentation of new and original research on formal grammar, with particular regard to the application of formal methods to natural language analysis.
Themes of interest include, but are not limited to,

  • formal and computational phonology, morphology, syntax, semantics and pragmatics;
  • model-theoretic and proof-theoretic methods in linguistics;
  • constraint-based and resource-sensitive approaches to grammar;
  • learnability of formal grammar;
  • the integration of stochastic and symbolic models of grammar;
  • foundational, methodological and architectural issues in grammar.
Mathematics of Language is a bi-annual conference series, held under the auspices of the ACL Special Interest Group on the Mathematics of Language.  In 2005, FG and MoL collocated their meetings in Edinburgh.

Editors' note

FGMoL-05 took place with ESSLLI 2005 in Edinburgh, Scotland on August 5-7, 2005. This year's conference included 20 contributed papers covering, as usual, a wide range of topics in formal grammar and mathematical linguistics. In addition to the papers included in this volume, the conference also featured three invited talks by

Nicholas Asher, Department of Philosophy, University of Texas at Austin (now Research Director, CNRS)
Uwe Mönnich,Seminar fuer Sprachwissenchaft, Universität Tübingen
Context-Free Tree Transductions
Mark Steedman, USchool of Informatics, University of Edinburgh
Issues in Formalizing an InformalNatural Language Semantics without Existential Quantifiers
We are grateful to the members of the Program Committee for their help in reviewing and ranking the submissions. We are indebted to all the authors who submitted papers to the meeting, and to all participants in the Conference.


The Proceedings are available as one PDF file and as individual chapters:

  • Front matter (PDF)
  • Berthold Crysmann. Underspecification and Neutrality: a Unified Approach to Syncretism (PDF)
  • Sivan Sabato and Yoad Winter. From Semantic Restrictions to Reciprocal Meanings (PDF)
  • Tim Fernando. Events from Temporal Logic to Regular Languages with Branching (PDF)
  • Petra Dünges. On the Formal Semantics of Begin and End of States in a Model Theory for Temporal DRT (PDF)
  • Tamás Bíró. How to Define Simulated Annealing for Optimality Theory? (PDF)
  • Alexa H. Mater and James D. Fix. Finite Presentations of Pregroups and the Identity Problem (PDF)
  • Denis Béchet and Annie Foret. On Rigid NL Lambek Grammars Inference from Generalized Functor-Argument Data (PDF)
  • Gregory M. Kobele and Jens Michaelis. Two Type 0-variants of Minimalist Grammars (PDF)
  • Jacek Marciniec. Learnability of Some Classes of Optimal Categorial Grammars (PDF)
  • Jens Michaelis. An Additional Observation on Strict Derivational Minimalism (PDF)
  • Ralph Debusmann, Denys Duchier and Andreas Rossberg.  Modular Grammar Design with Typed Parametric Principles (PDF)
  • Wiebke Petersen and James Kilbury.  What Feature Co-occurrence Restrictions Have to Do with Type Signatures (PDF)
  • Ron Artstein and Massimo Poesio.  Bias Decreases in Proportion to the Number of Annotators (PDF)
  • Hans Leiss.  The Proper Treatment of Coordination in Peirce Grammar (PDF)
  • Alessandro Mazzei, Vincenzo Lombardo and Patrick Sturt.  Strong Connectivity Hypothesis and Generative Power in TAG (PDF)
  • Hans-Jörg Tiede.  Inessential Features, Ineliminable Features, and Modal Logics for Model Theoretic Syntax (PDF)
  • Manuel Bodirsky, Marco Kuhlmann and Mathias Möhl.  Well-nested Drawings as Models of Syntactic Structure (PDF)
  • Rui P. Chaves.  A Linearization-based Approach to Gapping (PDF)
  • Carlos Martín-Vide and Victor Mitrana.  Further Properties of Path-controlled Grammars (PDF)
  • Willemijn Vermaat.  Scope-marking Constructions in Type-logical Grammar (PDF)

Program Committee

  • Anne Abeille (Paris VII, FR)
  • Tilman Becker (DFKI, DE)
  • Pierre Boullier (INRIA, FR)
  • Gosse Bouma (Groningen, NL)
  • Chris Brew (Ohio State, US)
  • Wojciech Buszkowski (Poznan, PL)
  • Miriam Butt (Manchester, UK)
  • Tim Fernando (Trinity College, Dublin, IE)
  • Christophe Fouquere (Paris XIII, FR)
  • Nissim Francez (Haifa, IL)
  • Philippe de Groote (LORIA, Nancy, FR)
  • Aravind Joshi (University of Pennsylvania, US)
  • Makoto Kanazawa (National Institute of Informatics, Tokyo)
  • Ruth Kempson (King's College, London, UK)
  • András Kornai (Metacarta, US)
  • Ulrich Krieger (DFKI, DE)
  • Geert-Jan Kruijff (DFKI, DE)
  • Jonas Kuhn (University of Texas, Austin , US)
  • Shalom Lappin (King's College, London, UK)
  • Alain Lecomte (Grenoble, FR)
  • Carlos Martin-Vide (Tarragona, ES)
  • Jens Michaelis (Potsdam, DE)
  • Guido Minnen (DaimlerChrysler, DE)
  • Mehryar Mohri (AT&T, US)
  • Uwe Mönnich (Tübingen, DE)
  • Michael Moortgat (Utrecht, NL)
  • Drew Moshier (Chapman, US)
  • Larry Moss (Indiana, US)
  • Stefan Müller (Bremen, DE)
  • Mark-Jan Nederhof (Groningen, NL)
  • Richard Oehrle (Berkeley, US)
  • Owen Rambow (Columbia, US)
  • Christian Retore (INRIA & LaBRI, FR)
  • Robert van Rooij (Amsterdam)
  • Giorgio Satta (Padua, IT)
  • Ed Stabler (UCLA, US)
  • Mark Steedman (Edinburgh, UK)
  • Hans Joerg Tiede (Illinois Wesleyan, US)

Organizing committee

  • Gerhard Jaeger, University of Potsdam
  • Paola Monachesi, OTS Utrecht
  • Gerald Penn, University of Toronto
  • James Rogers, Earlham College
  • Shuly Wintner, University of Haifa

Proceedings of Formal Grammar, http://cslipublications.stanford.edu/FG/
Maintained by pubs@csli.stanford.edu and Gerald Penn

pubs @ csli.stanford.edu