Dagstuhl Reports, Vol. 10, Issue 2 ISSN 2192 5283

SAT and Interactions (Dagstuhl Seminar 20061) Olaf Beyersdorff, Uwe Egly, Meena Mahajan, and Cláudia Nalon … Foundations of Composite Event Recognition (Dagstuhl Seminar 20071) Alexander Artikis, Thomas Eiter, Alessandro Margara, and Stijn Vansummeren . . 19 … Scheduling (Dagstuhl Seminar 20081) Nicole Megow, David Shmoys, and Ola Svensson ................................. 50 … SE4ML – Software Engineering for AI-ML-based Systems (Dagstuhl Seminar 20091) Kristian Kersting, Miryung Kim, Guy Van den Broeck, and Thomas Zimmermann  … Published online and open access by Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, Saarbrücken/Wadern, Germany. Online available at http://www.dagstuhl .de/dagpub/2192-5283 … Bibliographic information published by the Deutsche Nationalbibliothek The Deutsche Nationalbibliothek lists this publica- tion in the Deutsche …