Looking at different kinds of reasoning

Several members of the East London Massive (and of course Space Invader too) will go to Cambridge this week for this exciting workshop on reasoning: Frontiers of Computational Reasoning. What sounds cool is the mixture of all sorts of reasoning. I'm really looking forward to that.