Overview
The symposium ""Languages: From Formal to Natural,"" celebrating the 65th birthday of Nissim Francez, was held on May 24-25, 2009 at the Technion, Haifa. The symposium consisted of two parts, a veri?cation day and a language day, and covered all areas of Nissim's past and present research interests, areas which he has inspiringly in?uenced and to which he has contributed so much. This volume comprises severalpapers presentedat the symposium, as wellas additional articles that were contributed by Nissim's friends and colleagues who were unable to attend the event. We thank the authors for their contributions. Wearealsogratefultothereviewersfor their dedicated and timely work. Nissim Francez was born on January 19, 1944. In 1962 he started his mat- matical education at the Hebrew University. He received a BSc in Mathematics in 1965, and, after four years of military service, started his MSc studies in Computer Science at the Weizmann Institute of Science under the supervision of Amir Pnueli. After completing the MSc program in 1971, Nissim continued his studies toward a PhD, again, at the Weizmann Institute of Science and, again, under the supervisionof Amir Pnueli. Nissim wasawardeda PhDin Computer Science in 1976.
Full Product Details
Author: Orna Grumberg ,
Michael Kaminski ,
Shmuel Katz ,
Shuly Wintner
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edition: 2009 ed.
Volume: 5533
Dimensions:
Width: 15.50cm
, Height: 1.50cm
, Length: 23.50cm
Weight: 0.397kg
ISBN: 9783642017476
ISBN 10: 3642017479
Pages: 245
Publication Date: 12 May 2009
Audience:
Professional and scholarly
,
Professional & Vocational
Format: Paperback
Publisher's Status: Active
Availability: In Print
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.
Reviews
From the reviews: It includes a wide variety of papers on linguistics and the foundations of verification, written by top people in the field. This review only discusses the most interesting contributions. ... On the linguistic side, I enjoyed reading Winter, Lavie, and MacWhinney's paper, 'Formal grammars of early language,' for its experimental approach to the development of grammar in child language development. ... libraries should look to acquire this text for their collections. (K. Lodaya, ACM Computing Reviews, March, 2010)
From the reviews: It includes a wide variety of papers on linguistics and the foundations of verification, written by top people in the field. This review only discusses the most interesting contributions. ! On the linguistic side, I enjoyed reading Winter, Lavie, and MacWhinney's paper, 'Formal grammars of early language,' for its experimental approach to the development of grammar in child language development. ! libraries should look to acquire this text for their collections. (K. Lodaya, ACM Computing Reviews, March, 2010)
