Bulling, A.; Kasneci, E.; Lander, C. (Eds.): Proceedings PETMEI 2018. 7th International Workshop on Pervasive Eye Tracking and Mobile Eye-based Interaction , Warsaw, Poland, June 15, 2018 - June 16, 2018. ACM, New York, NY (2018)

Abiteboul, S.; Miklau, G.; Stoyanovich, J.; Weikum, G. (Eds.): Data, Responsibly (Dagstuhl Reports, 6). Dagstuhl Seminar 16291 "Data, Responsibly", Wadern, Germany, July 17, 2016 - July 22, 2016. Schloss Dagstuhl, Wadern (2016), 30 pp.

Berendt, B.; Bringmann, B.; Fromont, E.; Garriga, G.; Miettinen, P.; Tatti, N.; Tresp, V. (Eds.): Machine Learning and Knowledge Discovery in Databases (Lecture Notes in Artificial Intelligence, 9853). European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, Riva del Garda, Italy, September 19, 2016 - September 23, 2016. Springer, Berlin (2016), XXII, 307 pp.

Blanchette, J. C.; Kaliszyk , C. (Eds.): Proceedings First International Workshop on Hammers for Type Theories (Electronic Proceedings in Theoretical Computer Science, 210). First International Workshop on Hammers for Type Theories , Coimbra, Portugal, July 01, 2016. EPTCS, http://about.eptcs.org/ (2016), 35 pp.

Blanchette, J. C.; Merz, S. (Eds.): Interactive Theorem Proving (Lecture Notes in Computer Science, 9807). Seventh Conference on Interactive Theorem Proving , Nancy, France, August 22, 2016 - August 27, 2016. Springer, Berlin (2016), XVII, 502 pp.

Bulling, A.; Cakmakci, O.; Kunze, K.; Rehg, J. M. (Eds.): Eyewear Computing -- Augmenting the Human with Head-mounted Wearable Assistants (Dagstuhl Reports, 6). Dagstuhl Seminar 16042 "Eyewear Computing -- Augmenting the Human with Head-Mounted Wearable Assistants", Wadern, Germany, January 24, 2016 - January 29, 2016. Schloss Dagstuhl, Wadern (2016), 46 pp.

Chau, P.; Vreeken, J.; van Leeuwen, M.; Shahaf, D.; Faloutsos , C. (Eds.): Proceedings of the ACM SIGKDD Workshop on Interactive Data Exploration and Analytics. ACM SIGKDD 2016 Full-day Workshop on Interactive Data Exploration and Analytics, San Francisco, CA, USA, August 14, 2016. IDEA'16, San Francisco, CA (2016), 137 pp.

Frasconi, P.; Landwehr, N.; Manco, G.; Vreeken, J. (Eds.): Machine Learning and Knowledge Discovery in Databases (Lecture Notes in Artificial Intelligence, 9852). European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, Riva del Garda, Italy, September 19, 2016 - September 23, 2016. Springer, Berlin (2016), XXVIII, 825 pp.

Frasconi, P.; Landwehr, N.; Manco, G.; Vreeken, J. (Eds.): Machine Learning and Knowledge Discovery in Databases (Lecture Notes in Artificial Intelligence, 9851). European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, Riva del Garda, Italy, September 19, 2016 - September 23, 2016. Springer, Berlin (2016), XXXVI, 817 pp.

Rosenhahn, B.; Andres, B. (Eds.): Pattern Recognition (Lecture Notes in Computer Science, 9796). 38th German Conference on Pattern Recognition , Hannover, Germany, September 12, 2016 - September 15, 2016. Springer, Berlin (2016), XIV, 452 pp.

Balog, K.; Dalton, J.; Doucet, A.; Ibrahim, Y. (Eds.): ESAIR'15. Eight Workshop on Exploiting Semantic Annotations in Information Retrieval, Melbourne, Australia, October 23, 2015. ACM, New York, NY (2015)

Blanchette, J. C.; Kosmatov, N. (Eds.): Tests and Proofs (Lecture Notes in Computer Science, 9154). 9th International Conference on Tests & Proofs, L'Aquila, Italy, July 22, 2015 - July 24, 2015. Springer, Berlin (2015)

Chau, P.; Vreeken, J.; van Leeuwen, M.; Faloutsos, C. (Eds.): Proceedings of the ACM SIGKDD 2015 Full-day Workshop on Interactive Data Exploration and Analytics. ACM SIGKDD 2015 Full-day Workshop on Interactive Data Exploration and Analytics, Sydney, Australia, August 10, 2015 - August 10, 2014. (2015), 72 pp.

Megiddo, N.; Mehlhorn, K.; Savani, R.; Vazirani, V. V. (Eds.): Equilibrium Computation (Dagstuhl Reports, 4). Dagstuhl Seminar 14342 “Equilibrium Computation", Wadern, Germany, August 17, 2014 - August 22, 2014. Schloss Dagstuhl, Wadern (2014), 16 pp.

Bjørner, N.; Hähnle, R.; Nipkow, T.; Weidenbach, C. (Eds.): Deduction and Arithmetic (Dagstuhl Reports, 3). Dagstuhl Seminar 13411 "Deduction and Arithmetic", Wadern, Germany, October 06, 2013 - October 11, 2013. Schloss Dagstuhl, Wadern (2014), 24 pp.

Chau, P.; Vreeken, J.; van Leeuwen, M.; Faloutsos, C. (Eds.): Proceedings of the ACM SIGKDD 2014 Full-day Workshop on Interactive Data Exploration and Analytics. ACM SIGKDD 2014 Full-day Workshop on Interactive Data Exploration and Analytics, New York, NY, USA, August 24, 2014. Georgia Institute of Technology, Atlanta, GA (2014), 130 pp.

Demri, S.; Kapur, D.; Weidenbach, C. (Eds.): Automated Reasoning (Lecture Notes in Artificial Intelligence, 8562). 7th International Joint Conference on Automated Reasoning, Vienna, Austria, July 19, 2014 - July 22, 2014. Springer, Berlin (2014), XV, 528 pp.

Fleet, D.; Pajdla, T.; Schiele, B.; Tuytelaars, T. (Eds.): Computer Vision - ECCV 2014 (Lecture Notes in Computer Science, 8689-8695). European Conference on Computer Vision, Zurich, Switzerland, September 06, 2014 - September 12, 2014. Springer, Berlin (2014), Various pagings pp.

Ghilardi, S.; Sattler, U.; Sofronie-Stokkermans, V. (Eds.): Automated Deduction: Decidability, Complexity, Tractability. Automated Deduction: Decidability, Complexity, Tractability, Vienna, Austria, July 18, 2014. Universität Koblenz, Koblenz (2014), 58 pp.

Katz-Bassett, E.; Heidemann, J. S.; Godfrey, B.; Feldmann, A. (Eds.): Proceedings of the 13th ACM Workshop on Hot Topics in Networks. 13th ACM Workshop on Hot Topics in Networks, Los Angeles, CA, USA, October 27, 2014 - October 28, 2014. ACM, New York, NY (2014)