Formal Models of Scientific Inquiry, 18-19 July (The Reasoner, 2017)