Automata learning in the morning, followed by a tour of Oxford.