3rd International Workshop on Logic and Search (LaSh 2010), Edinburgh, Scotland (UK) tenuto in occasione di FLOC 2010.