Dear all,

I'm glad to finally announce that the post-proceedings of SATToSE 2017 are now published (
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.