Fun with algorithms 6th International Conference, FUN 2012, Venice, Italy, June 4-6, 2012, proceedings / (Springer,)