Tag Archives: Formalisation

What is the value of formalisation? Lessons from the CSAE Conference

Several papers at this year’s CSAE conference examined take-up and effects of formalisation. Michael Koelle, DPhil student at CSAE, takes stock of the lessons we can learn from these papers.

Posted in CSAE Conference | Tagged , , , , | Comments Off on What is the value of formalisation? Lessons from the CSAE Conference