[SATToSE] SATToSE 2017 Post-Proceedings are published

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