Programs, Proofs, Processes 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings - Ferreira, Fernando; Löwe, Benedikt; Mayordomo, Elvira; Gomes, Luís Mendes (Theoretical Computer Science and General Issues,, 2010)