The CS theory lunch website has been moved to here.