Formal Grammar

20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings

  • Foret Annie 
  • Morrill Glyn 
  • Muskens Reinhard 
  • Osswald Rainer 
  • Pogodalla Sylvain 
Conference proceedings FG 2016, FG 2015

DOI: 10.1007/978-3-662-53042-9

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9804)

Table of contents (18 papers)

  1. Front Matter
    Pages I-X
  2. Formal Grammar 2015: Invited Papers

    1. Front Matter
      Pages 1-1
    2. Frames as Records
      Robin Cooper
      Pages 3-18
    3. Types from Frames as Finite Automata
      Tim Fernando
      Pages 19-40
  3. Formal Grammar 2015: Contributed Papers

  4. Formal Grammar 2016: Contributed Papers

    1. Front Matter
      Pages 181-181
    2. Overtly Anaphoric Control in Type Logical Grammar
      María Inés Corbalán, Glyn Morrill
      Pages 183-199
    3. A Single Movement Normal Form for Minimalist Grammars
      Thomas Graf, Alëna Aksënova, Aniello De Santo
      Pages 200-215
    4. Word Ordering as a Graph Rewriting Process
      Sylvain Kahane, François Lareau
      Pages 216-239
    5. Undecidability of the Lambek Calculus with a Relevant Modality
      Max Kanovich, Stepan Kuznetsov, Andre Scedrov
      Pages 240-256
    6. Proof Nets for the Displacement Calculus
      Richard Moot
      Pages 273-289

About these proceedings


This book constitutes the refereed proceedings of the 20th and 21st International Conference on Formal Grammar 2015 and 2016, collocated with the European Summer School in Logic, Language and Information in August 2015/2016. The 19 revised full papers presented together with 2 invited talks were carefully reviewed and selected from a total of 34 submissions.

The focus of papers are as follows:
  • Formal and computational phonology, morphology, syntax, semantics and pragmatics
  • Model-theoretic and proof-theoretic methods in linguistics
  • Logical aspects of linguistic structure
  • Constraint-based and resource-sensitive approaches to grammar
  • Learnability of formal grammar
  • Integration of stochastic and symbolic models of grammar
  • Foundational, methodological and architectural issues in grammar and linguistics
  • Mathematical foundations of statistical approaches to linguistic analysis


computational linguistics formal languages logic natural language processing symbolic and algebraic manipulation

Editors and affiliations

  • Foret Annie 
    • 1
  • Morrill Glyn 
    • 2
  • Muskens Reinhard 
    • 3
  • Osswald Rainer 
    • 4
  • Pogodalla Sylvain 
    • 5
  1. 1.IRISAUniversity of Rennes 1 RennesFrance
  2. 2.Department of Computer ScienceUniversitat Politècnica de Catalunya BarcelonaSpain
  3. 3.Tilburg University TilburgThe Netherlands
  4. 4.Department of General LinguisticsHeinrich-Heine-University Düsseldorf DüsseldorfGermany
  5. 5.INRIA NancyVillers-lès-NancyFrance

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2016
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-662-53041-2
  • Online ISBN 978-3-662-53042-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349