[logic-ml] Workshop in Logic and Philosophy of Mathematics