Calculemus and MKM (June 27-30, 2007)