Programs, proofs, processes
Conference on Computability in Europe (6th 2010 Ponta Delgada, Azores, Portugal)