[logic-ml] Symposium on Modernism and Modernisation in Mathematics