The interface of three areas of computer science with the mathematical sciences :summary of a workshop