Formal Models of Scientific Inquiry, 18-19 July