Their last day is May 11th, so no they're not working. Otherwise it wouldn't be considered severance pay, that's basically just giving 3 months notice.