Site Overlay


Due to the current circumstances regarding the COVID-19 pandemic outbreak, the conference program chairs have decided to hold SAT 2020 as a fully virtual conference which will be held from 6 to 8 July 2020.

The proceedings will be published by Springer in the series Lecture Notes in Computer Science, see