Theory And Applications Of Models Of Computation: 5Th International Conference, Tamc 2008, Xi And#039;An, China, April 25-29, 2008, Proceedings

Dingzhu Du, Sheng Liang, Manindra Agrawal

ISBN 10: 3540792279 / ISBN 13: 9783540792277

Published by Springer, 2008

About this Item

New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEJUNE24-270928

Bibliographic Details

Title: Theory And Applications Of Models Of ...

Publisher: Springer

Publication Date: 2008

Binding: Soft cover

Condition: Brand New

About this title

Synopsis:

Theory and Applications of Models of Computation (TAMC) is an inter- tional conference series with an interdisciplinary character, bringing together researchers working in computer science, mathematics (especially logic), and the physicalsciences. This crossdisciplinarycharacter,together with its focus on algorithms, complexity, and computability theory, gives the conference a special ?avor and distinction. TAMC2008wasthe?fth conferenceintheseries.Thepreviousfourmeetings wereheldduringMay17-19,2004inBeijing,May17-20,2005inKunming,May 15-20,2006 in Beijing, and May 22-25, 2007 in Shanghai. TAMC 2008 was held in Xi'an, during April 25-29, 2008. At TAMC 2008 we had two plenary speakers, Bernard Chazelle and Cynthia Dwork,giving one-hour talkseach. Bernardspokeon "WhyAlgorithms Matter" and Cynthia on "Di?erential Privacy: A Survey of Results." Their respective papers accompanying the talks are included in the proceedings. In addition, there were two special sessions organized by Barry Cooper and Ying Jiang on "Models of Computation" and by Jianer Chen on "Algorithms and Complexity." The invited speakersin the ?rst session wereJoseFelix Costa, Vincent Danos, Luke Ong, Mingsheng Ying, Miklos Santha, and Gilles Dowek. Invited speakers in the second session were Daniel Brown, Dieter Kratsch, - aotie Deng, and Jianer Chen. The TAMC conference series arose naturally in response to important sci- ti?c developments a?ecting how we compute in the twenty-?rst century. At the same time, TAMC is already playing an important regional and international role, and promises to become a key contributor to the scienti?c resurgence seen throughout China and other parts of Asia.

From the Back Cover:

This book constitutes the refereed proceedings of the 5th International Conference on Theory and Applications of Models of Computation, TAMC 2008, held in Xi'an, China in April 2008.

The 48 revised full papers presented together with 2 invited talks and 1 plenary lecture were carefully reviewed and selected from 192 submissions. The papers address current issues of all major areas in computer science, mathematics (especially logic) and the physical sciences - computation, algorithms, complexity and computability theory in particular. With this crossdisciplinary character the conference is given a special flavor and distinction.