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