Stacks and categories in geometry, topology, and algebra. CATS4 conference on higher categorical structures and their interactions with algebraic geometry, algebraic topology and algebra, CIRM, Luminy, France, July 2--7, 2012. 