Dear all, I just updated SATToSE’s webpage with the list of accepted paper, the title of the two keynotes, and the title of the talks at the colocated summer school. We should have a more detailed schedule soon. Cheers, Romain