Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

27 February - 1 March 2017, Workshop "Formal methods in the philosophy of science", Sydney, Australia

Date: 27 February - 1 March 2017
Location: Sydney, Australia
Costs: $150

Formal methods add rigour to the analysis of conceptual and methodological issues in science. In this course, leading proponents of formal approaches to scientific inference give accessible introductions to some formal methods. They also present relevant examples for the application of formal tools, including those that arise in the biomedical and biological research fields of the Charles Perkins Centre. This intensive course provides an opportunity for advanced students and early career researchers to learn how to enhance their research through the use of new formal tools.