posted by system || 10678 views || tracked by 15 users: [display]

TAMC 2012 : The 9th Annual Conference on Theory and Applications of Models of Computation

FacebookTwitterLinkedInGoogle


Conference Series : Theory and Applications of Models of Computation
 
Link: http://turing2012.iscas.ac.cn/tamc2012.html
 
When May 16, 2012 - May 21, 2012
Where Beijing, China
Submission Deadline Jan 10, 2012
Categories    algorithms   computation theory
 

Call For Papers

The 9th Annual Conference on Theory and Applications of Models of Computation (TAMC
2012) will be held in Institute of Software, Chinese Academy of Sciences, Beijing, China, May 16 to 21, 2012, as a Turing Centenary Meeting.

The Turing Lectures 2012
S. Barry Cooper ( Leeds )
John Hopcroft( Cornell)
Richard Karp (Berkeley)
Jon Kleinberg (Cornell)
Butler Lampson (Microsoft)
Wei Li (BUAA)
Andrew Chi-Chih Yao (Tsinghua, Beijing)

TAMC 2012 Invited Special Sessions

1. Algorithms and Information in Networks (Organising Chairs: Zhiyong Liu )
Invited speakers:
2. Complexity and Cryptography (Organising Chair: Xiaotie Deng)
Invited speakers:
Xi Chen
3. Models of Computing and Networking (Organising Chairs: Anthony Bonato )
Invited speakers:
Anthony Bonato
4. Programming and Verification (Organising Chair: Wenhui Zhang)
Invited speakers:
Naijun Zhan

Aims and Scope:

TAMC aims at bringing together a wide range of researchers with interests in computational theory and applications. The main themes of the conference TAMC 2012 will be Computability, Complexity, and Algorithms with extensions to information and networks. Typical but not exclusive topics of interest include:

Algorithmic algebra
Algorithmic graph theory and combinatorics
Algorithms and data structures
Approximation algorithms
Automata and neural networks
Computational biology, and bio-informatics
Computational complexity
Computational game theory, network game theory
Computational geometry
Computable mathematics
Continuous and real computation
Cryptography and complexity
Decidability and undecidability
Derandomization
Error correcting code and locally testable codes
Generalized and higher type computation
Internet mathematics
Learning theory, and intelligent computing
Local test of mathematical properties
Models of computing and networking
Natural computation
Network algorithms
Networking
Networks in nature and society - new laws and principles
Number theory and coding theory
On-line algorithms and parallel algorithms
Physical computability
Programm checking
Programming and verification
Proofs and computation
Quantum computing
Randomized algorithms
Randomness in complexity classes and in nature
Relative computability and degree structures
Robustness and security of networks
Theory of networks and emergence
Turing definability
More information about the conference is available on the TAMC 12 web site.

Related Resources

TAMC 2022   The 17th Annual Conference on Theory and Applications of Models of Computation
ACM-EI/Scopus-ACAI 2022   2022 5th International Conference on Algorithms, Computing and Artificial Intelligence (ACAI 2022)-EI Compendex
ICoCTA 2023   2023 4th International Conference on Control Theory and Applications (ICoCTA 2023)
IOP, EI, Scopus-EMECS 2022   2022 International Conference on Electronics, Mechanical Engineering and Computer Science (EMECS 2022)-EI Compendex
UCNC 2023   20th International Conference on Unconventional Computation and Natural Computation
Distributed ML and Opt. 2023   Distributed Machine Learning and Optimization: Theory and Applications
ACM-AMLSP 2022   2022 4th International Conference on Algorithms, Machine Learning and Signal Processing (AMLSP 2022)
SI PMABD 2023   Special Issue on Programming Models and Algorithms for Big Data
SECITC 2022   The 15th International Conference on Security for Information Technology and Communications
GCM 2022   13th International Workshop on Graph Computation Models