[logic-ml] [再送] Re: Call for Presentation at CTFM2018