[logic-ml] 数学基礎論若手の会 2011 (2nd announcement)