Author: Conference on Computability in Europe (6th 2010 Ponta Delgada, Azores, Portugal)