Proceedings of the 11th international conference on Functional and Logic Programming - Hutchison, David (Springer Berlin Heidelberg, 2012)