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.