Universiteit van Amsterdam


Institute for Logic, Language and Computation

20-22 April 2017, 14th Annual Conference on Theory and Applications of Models of Computation (TAMC 2017), Bern, Switzerland

Date: 20-22 April 2017
Location: Bern, Switzerland
Deadline: 31 October 2016

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.