Theory and Applications of Models of Computation: 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings: 5532 - Brossura

Brossura

ISBN 10: 364202016X ISBN 13: 9783642020162

Casa editrice: Springer, 2009

Riassunto

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 physical sciences. This crossdisciplinary character, together with its focus on - gorithms, complexity and computability theory, gives the conference a special ?avor and distinction. TAMC2009wasthesixthconferenceintheseries.Theprevious?vemeetings wereheldduringMay17 19,2004inBeijing,May17 20,2005inKunming,May 15 20, 2006 in Beijing, May 22 25, 2007 in Shanghai, and April 25 29, 2008 in Xi an. TAMC 2009 was held in ChangSha, during May 18 22, 2009. Next year will see a new departure, namely, the ?rst TAMC conference to be held outside of Asia. TAMC 2010 will be held in Prague, capital of the Czech Republic. At TAMC 2009 we had three plenary speakers, Leslie Valiant (Harvard U- versity, USA), Moshe Vardi (Rice University, USA) and Matthew Hennessy (Trinity College, Ireland), giving one-hour talks each. Professor Valiant spoke on Neural Computations That Support Long Mixed Sequence of Knowledge Acquisition Tasks, Professor Vardi on Constraints, Graphs, Algebra, Logic, and Complexity, and Professor Hennessy on Distributed Systems and Their Environments. Their respective abstracts accompanying the talks are included in these proceedings.

Su questo libro

Dalla quarta di copertina

This book constitutes the refereed proceedings of the 6th International Conference on Theory and Applications of Models of Computation, TAMC 2009, held in Changsha, China in May 2009.

The 39 full papers presented together with 7 invited papers as well as 3 plenary talks were selected from 86 submissions. The papers address the three main themes of the conference which were Computability, Complexity, and Algorithms. The conference aimed to bring together researchers with interests in theoretical computer science, algorithmic mathematics, and applications to the physical sciences.

Dettagli dell?edizione

• Editore: Springer
• Data di pubblicazione: 2009
• Lingua: Inglese
• ISBN 10: 364202016X
• ISBN 13: 9783642020162
• Rilegatura: Copertina flessibile
• Numero di pagine: 500
• Redattore: Chen Jianer
• Contatto del produttore: Springer Nature Customer Service Center GmbH; ProductSafety@springernature.com