Talk at a workshop with the Faculty of Computers and Information, Cairo University, July 2009

fci-workshop-jul2009-cairo