Theory and Applications of Models of Computation: 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings: 5532 (Lecture Notes in Computer Science) - Softcover

Softcover

ISBN 10: 364202016X ISBN 13: 9783642020162

Verlag: Springer, 2009

Inhaltsangabe

Book by None

Über diesen Titel

Reseña del editor

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.

Reseña del editor

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.

Details zur Ausgabe

• Verlag: Springer
• Erscheinungsdatum: 2009
• ISBN 10: 364202016X
• ISBN 13: 9783642020162
• Einband: Tapa blanda
• Sprache: Englisch
• Anzahl der Seiten: 500
• Herausgeber: Chen Jianer