Automata and Computability - nidottu, Englanti, 2012