Vladimir_Nesov comments on SIAI’s Short-Term Research Program