Dear all, I'm glad to finally announce that the post-proceedings of SATToSE 2017 are now published (http://ceur-ws.org/Vol-2070/). Out of seven participants who expressed interest in the post-proceedings, only five came through. Luckily, that was enough to meet the required minimum number of articles in a CEUR volume. Congrats to the authors and good luck to all of you at SATToSE 2018. Cheers, Haidar _______________________________________________ SATToSE mailing list SATToSE(a)list.inf.unibe.ch https://www.list.inf.unibe.ch/listinfo/sattose