[SATToSE] Re: SATToSE 2018 papers not online