[logic-ml] SLACS 2011 のご案内および講演募集 (再送)