LogiMAT 2011 in Stuttgart