[SATToSE] SATToSE 2018: Call for participation