S. Szeider: "Get Satisfaction: Das Erfüllbarkeitsproblem in Theorie und Praxis"; Keynote Lecture: 9. Informatiktag 2017, Tu Wien (invited); 2017-09-28.