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