[SATToSE] CFP: SATToSE 2018