European Association for Computer Science Logicのリリース