The papers address a wide range of logical and formal methods in computational linguistics with studies of particular grammar formalisms and their computational properties, language engineering, and traditional topics about the syntax/semantics interface.

LACL.- k-Valued Non-associative Lambek Grammars (Without Product) Form a Strict Hierarchy of Languages.- Dependency Structure Grammars.- Towards a Computational Treatment of Binding Theory.- Translating Formal Software Specifications to Natural Language.- On the Selective Lambek Calculus.- Grammatical Development with Xmg.- Lambek-Calculus with General Elimination Rules and Continuation Semantics.- A Note on the Complexity of Constraint Interaction: Locality Conditions and Minimalist Grammars.- Large Scale Semantic Construction for Tree Adjoining Grammars.- A Compositional Approach Towards Semantic Representation and Construction of ARABIC.- Strict Deterministic Aspects of Minimalist Grammars.- A Polynomial Time Extension of Parallel Multiple Context-Free Grammar.- Learnable Classes of General Combinatory Grammars.- On Expressing Vague Quantification and Scalar Implicatures in the Logic of Partial Information.- Describing Lambda Terms in Context Unification.- Category Theoretical Semantics for Pregroup Grammars.- Feature Constraint Logic and Error Detection in ICALL Systems.- Linguistic Facts as Predicates over Ranges of the Sentence.- How to Build Argumental Graphs Using TAG Shared Forest: A View from Control Verbs Problematic.- When Categorial Grammars Meet Regular Grammatical Inference.- The Expressive Power of Restricted Fragments of English.- The Complexity and Generative Capacity of Lexicalized Abstract Categorial Grammars.- More Algebras for Determiners.