Site Overlay

Proceedings

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 www.springer.com/lncs.