[logic-ml] Talk by Florian Steinberg (July 5, Fukuoka)