SAT Workshop, Paderborn