2014年9月 - 2015年9月 program committee EACSL Annual Conference on Computer Science Logic (CSL2015) 団体区分 その他