Re: [logic-ml] [yoshiki] DICE 2012 - Call for Extended Abstracts