学会活動
- APLAS 2011: PC member,
- LICS 2012 PC: member
- IFIP WG 2.2 member
- The Journal of Logic and Algebraic Programming: Editorial Board
-
- 過去の会議の委員等:
POPL 2011: PC member,
TACAS 2011: PC member,
SAS 2011: PC member,
ATVA2010: PC member,
FLOPS 2010: General Chair,
LICS 2010: PC member,
ESOP 2010: PC member,
SAS 2009: PC member,
FOSSACS 2009: PC member,
APLAS 2008: PC member,
LICS 2008: PC member,
SAS2007: PC member,
FMOODS2007: PC member,
APLAS2006 : PC Chair,
TLDI 2007 : PC member,
SAS2006: PC member,
日本ソフトウェア科学会
プログラミング論研究会主査(2002.4-2005.3)運営委員(2005.4-2006.3),
FCS'05 : PC member,
APLAS2005 : PC member,
日本ソフトウェア科学会第22回大会運営委員長,
FOSSACS2005 : PC member,
POPL 2005 : PC member,
FLOPS 2004 PC member,
FCS'04 PC member,
CONCUR'03 PC member,
PEPM'03 PC member,
ASIAN 2003: PC member
PADL'03 PC member,
FOOL 10 PC member,
TACS 2001 プログラム共同委員長,
ICFP 2001 プログラム委員,
PPDP2000 プログラム委員,
HLCL'00 プログラム委員,
IFIP TCS2000
プログラム委員,
FOOL 7 プログラム委員,
PPL 2000
プログラム共同委員長