[logic-ml] 証明論研究集会 & SLACS のご案内