[logic-ml] International Conference on Topology and Geometry 2013 (9月2日〜6日)