The following problems were asked during the high and low forcing workshop:

Question 1.Can one force tree property at $\kappa^{++}$ for $\kappa$ singular using side conditions?

Question 2.Can one force tree property at successive cardinals using side conditions?

As it is stated in A report on the workshop activities, question 1 is solved during the conference.

**I wonder to know if there is any reference for the proof, or if someone can explain the basic ideas of the proof.**

**I am also interested to know if any progress on question 2 is obtained?** (I may mention that in Nemman's paper Forcing with Sequences of Models of Two Types, this is claimed for two successive cardinals but no details are given).