Theory and Applications of Models of Computation

9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings

  • Manindra Agrawal
  • S. Barry Cooper
  • Angsheng Li

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

Table of contents

  1. Front Matter
  2. Turing Lectures 2012

  3. Invited Lectures

    1. Yicheng Pan
      Pages 30-39
    2. A. Bonato, D. Mitsche, P. Prałat
      Pages 50-60
    3. Zipeng Zhang, Xinyu Feng, Ming Fu, Zhong Shao, Yong Li
      Pages 61-71
    4. Shuling Wang, Naijun Zhan, Dimitar Guelev
      Pages 72-83
    5. Albert F. Lawrence, Séastien Phan, Mark Ellisman
      Pages 109-130
  4. Contributed Papers

About these proceedings


This book constitutes the refereed proceedings of the 9th International Conference on Theory and Applications of Models of Computation, TAMC 2012, held in Beijing, China, in May 2012. The conference was combined with the Turing Lectures 2012, dedicated to celebrating Alan Turing’s unique impact on mathematics, computing, computer science, informatics, morphogenesis, philosophy, and the wider scientific world. Eight Turing Lectures were given at the TAMC 2012.
The 40 revised full papers presented together with invited talks were carefully reviewed and selected from 86 submissions. The papers address 4 special sessions at TAMC 2012 which were algorithms and information in networks, complexity and cryptography, models of computing and networking, programming and verification.


elliptic curve hybrid systems key exchange multiparty communication turing machine

Editors and affiliations

  • Manindra Agrawal
    • 1
  • S. Barry Cooper
    • 2
  • Angsheng Li
    • 3
  1. 1.Department of Computer Science and Engineering, Resource Planning and GenerationIndian Institute of Technology KanpurKanpurIndia
  2. 2.Department of Pure Mathematics, LeedsUniversity of LeedsUK
  3. 3.Institute of SoftwareChinese Academy of SciencesBeijingP.R. China

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-29951-3
  • Online ISBN 978-3-642-29952-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors