- Simon J. Gay, Vasco T. Vasconcelos, Philip Wadler, Nobuko Yoshida. Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051). Dagstuhl Reports, 7(1):158-189, 2017.
- Malik Ghallab, Nick Hawes, Daniele Magazzeni, Brian C. Williams, Andrea Orlandini. Planning and Robotics (Dagstuhl Seminar 17031). Dagstuhl Reports, 7(1):32-73, 2017.
- Sunghun Kim 0001, Claire Le Goues, Michael Pradel, Abhik Roychoudhury. Automated Program Repair (Dagstuhl Seminar 17022). Dagstuhl Reports, 7(1):19-31, 2017.
- David Hausheer, Oliver Hohlfeld, Diego R. López, Bruce MacDowell Maggs, Costin Raiciu. Network Function Virtualization in Software Defined Infrastructures (Dagstuhl Seminar 17032). Dagstuhl Reports, 7(1):74-102, 2017.
- Phil Blunsom, KyungHyun Cho, Chris Dyer, Hinrich Schütze. From Characters to Understanding Natural Language (C2NLU): Robust End-to-End Deep Learning for NLP (Dagstuhl Seminar 17042). Dagstuhl Reports, 7(1):129-157, 2017.
- Mirela Ben-Chen, Frédéric Chazal, Leonidas J. Guibas, Maks Ovsjanikov. Functoriality in Geometric Data (Dagstuhl Seminar 17021). Dagstuhl Reports, 7(1):1-18, 2017.
- Marek Cygan, Fedor V. Fomin, Danny Hermelin, Magnus Wahlström. Randomization in Parameterized Complexity (Dagstuhl Seminar 17041). Dagstuhl Reports, 7(1):103-128, 2017.
- Osnat Keren, Ilia Polian, Mark M. Tehranipoor. Hardware Security (Dagstuhl Seminar 16202). Dagstuhl Reports, 6(5):72-93, 2016.
- Michael E. Caspersen, Kathi Fisler, Jan Vahrenhold. Assessing Learning In Introductory Computer Science (Dagstuhl Seminar 16072). Dagstuhl Reports, 6(2):78-96, 2016.
- Gene Myers, Mihai Pop, Knut Reinert, Tandy J. Warnow. Next Generation Sequencing (Dagstuhl Seminar 16351). Dagstuhl Reports, 6(8):91-130, 2016.