ASP Competition 2013 のアナウンスが出ていた。参加登録にEasyChairを使っとるw
そういえば、SAT/MAX-SAT/QBFのコンペはの方はまだアナウンスがないみたいだけれど、大丈夫なのだろうか…… (PBは今年は無いのだろうけれど)