[SATToSE] SATToSE 2020: Call for participation