20-22 April 2017, 14th Annual Conference on Theory and Applications of Models of Computation (TAMC 2017), Bern, Switzerland
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'.
For more information, see http://www.tamc2017.unibe.ch/
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is October 31, 2016.