TAMC 2017 - 14th Annual Conference on Theory and Applications of Models of Computation

TAMC 2017 aims at bringing together a wide range of researchers with interest in computational theory and its applications. The main themes of the conference are computability, computer science logic, complexity, algorithms, models of computation and systems theory. There are two special sessions planned: Logic in Computer Science and New Models of Computation.
Typical but not exclusive topics of interest
algebraic computationalgorithmic coding and number theory approximation algorithmsautomata theorycomputational biology and biological computingcomputational (e.g. circuit, structural) complexitycomputational game theorycomputational geometrycomputer science logiccryptographydomain models learning theorymodal and temporal logicsmodel theory for computing (e.g. specification and verification)natural computationnetworks in nature and societyonline algorithmsoptimizationprivacy and securityprocess modelsproof complexityproperty testingquantum computingrandomness and pseudo-randomnessspace-time tradeoffsstreaming algorithmssystems theory (e.g. concurrent, timed, hybrid)VLSI models of computation