Gave a colloquium to the Computer Science department at the University of Barcelona, Spain