Languages: From Formal to Natural

Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

  • Orna Grumberg
  • Michael Kaminski
  • Shmuel Katz
  • Shuly Wintner

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

Table of contents

  1. Front Matter
  2. Languages: From Formal to Natural

    1. Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
      Pages 1-21
    2. Ron Artstein, Sudeep Gandhe, Jillian Gerten, Anton Leuski, David Traum
      Pages 22-35
    3. Gilad Ben-Avi, Yoad Winter
      Pages 36-44
    4. Wojciech Buszkowski, Maciej Farulewski
      Pages 45-58
    5. Nachum Dershowitz
      Pages 59-82
    6. Itamar Francez
      Pages 97-106
    7. Emilia Katz, Shmuel Katz
      Pages 128-147
    8. Sara Porat, Boaz Carmeli, Tamar Domany, Tal Drory, Ksenya Kveler, Alex Melament et al.
      Pages 177-191
    9. Ian Pratt-Hartmann
      Pages 192-203
    10. Shuly Wintner, Alon Lavie, Brian MacWhinney
      Pages 204-227
    11. Avi Yadgar, Orna Grumberg, Assaf Schuster
      Pages 228-244
  3. Back Matter

About this book


This Festschrift volume, published in honor of Nissim Francez on the occasion of his 65th birthday, contains 15 papers, written by friends and colleagues, many of whom congregated at a celebratory symposium held on May 24-25, 2009, in Haifa, Israel.

The theme of the symposium was Languages: From Formal to Natural, reflecting the focus of Nissim Francez' research career, which started in program verification and the semantics of programming languages and later concentrated on natural languages and computational linguistics. The papers included in this volume cover the entire spectrum of this field of research.


computational linguistics formal grammers hybrid bdd lambek calculus lazy commutation model checking modular verification natural language pushdown automata recursive programs

Editors and affiliations

  • Orna Grumberg
    • 1
  • Michael Kaminski
    • 2
  • Shmuel Katz
    • 3
  • Shuly Wintner
    • 4
  1. 1.Computer Science DepartmentTECHNION - Israel Institute of TechnologyTechnion CityIsrael
  2. 2.Department of Computer ScienceTechnion, Israel Institute of TechnologyHaifaIsrael
  3. 3.Department of Computer ScienceThe TechnionHaifaIsrael
  4. 4.Department of Computer ScienceUniversity of HaifaIsrael

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-01747-6
  • Online ISBN 978-3-642-01748-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
IT & Software