This lecture
<http://royalsociety.org/events/2013/logic-computer-science/> looks like
it might interest some of you.
--
David Cantrell | Bourgeois reactionary pig
NANOG makes me want to unplug everything and hide under the bed
-- brian d foy