Algorithms and complexity in mathematics, epistemology, and science : Proceedings of 2015 and 2016 ACMES Conferences.