The 23rd International Conference on Theory and Applications of Satisfiability Testing. 5-9 July 2020, Alghero (Italy)
We are continuously monitoring the COVID-19 situation from local authorities and the World Health Organization. Considering that measures that are been taken around the world will take at least a month to show results, we are planning to wait until the middle/end of April to identify alternative solutions (e.g., remote presentation, postponement of the conference).
The proceedings will be published by Springer in the series Lecture Notes in Computer Science, see www.springer.com/lncs.