Announcement
Due to the policy change in Ministry of Education of China, we are sorry to annouce that TAMC 16 conference has to be postponed by months. We'll update the new conference date immediately once approved by Ministry of Education, China.
For those who have payed for registration fee through bank transfer, if you'd like to repay your registration fee, please contact tamc16@sina.com with your scanned copy of bank transfer.
Welcome to The 13th annual conference on Theory and Applications of Models of Computation (TAMC), which will take place on Xi'an, China from 20th to 22nd, July, 2016. The event is supported by The School of Cyber Engineering, Xidian University.
Aims
TAMC 2016 aims at bringing together a wide range of researchers with interests in computational theory and applications. The main themes of the conference are computability, complexity, algorithms, models of computation and systems theory.
TAMC is happening in Xi’an after a gap of Eight Years.
Topis
Typical but not exclusive topics of interest include:
algebraic computation memory hierarchy
algorithmic coding theory tradeoffs
algorithmic number theory model theory for computing [modal and temporal logics, specification, verification, synthesis or automated software construction, aesthetics, software behavior, transformation of models]
approximation algorithms natural computation
automata theory nature inspired computing
circuit complexity networks in nature and society
combinatorial algorithms computability network algorithms
computational biology, and biological computing optimization
computational complexity [including circuits, communication, derandomization, PCPs, proof complexity, structural complexity] online algorithms
computational game theory parallel algorithms
computational logic philosophy of computing [emerging paradigms,morality intentionality]
computational geometry privacy and security
continuous and real computation property testing
cryptography proof complexity
data structures process models [for software construction, validating software under construction, supply-chain]
design and analysis of algorithms quantum computing
distributed algorithms randomness pseudorandomness
domain models[Assets, Price of Abstraction, frameworks] randomized algorithms
fixed parameter tractability space – time tradeoffs
geometric algorithms streaming algorithms
graph algorithms systems theory [Concurrent, Timed, Hybrid and Secure systems]
information and communication complexity VLSI Models of Computation [Models for Hardware - Software Co-design]
learning theory