Program on the mathematics of string theory