 | total:24
[2011]
| 1. | The 16th ACM SIGPLAN International Conference on Functional Programming (ICFP 2011), Programming Contest Chair(2011) |
| |
[2010]
| 2. | The Eighth ASIAN Symposium on Programming Languages and Systems (APLAS 2010), Program Committee Member(2010) |
| |
| 3. | Tenth International Symposium on Functional and Logic Programming (FLOPS 2010), Local Chair(2010) |
| |
[2009]
| 4. | Information Processing Society of Japan, Tohoku Branch Treasurer(2009-2011) |
| |
[2008]
| 5. | The 2008 ACM SIGPLAN Workshop on ML, Program Chair(2008) |
| |
| 6. | ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS'08), Program Committee Member(2008) |
| |
| 7. | The 17th European Symposium on Programming (ESOP'08), Program Committee Member(2008) |
| |
| 8. | The 10th Workshop on Programming and Programming Languages (PPL'08), Program Co-Chair(2008) |
| |
| 9. | The 35th Annual Symposium on Principles of Programming Languages (POPL'08), Program Committee Member(2008) |
| |
[2007]
| 10. | The 5th ASIAN Symposium on Programming Languages and Systems (APLAS'07), Poster Chair(2007) |
| |
| 11. | The 5th ASIAN Symposium on Programming Languages and Systems (APLAS'07), Program Committee Member(2007) |
| |
| 12. | Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis (FCS-ARSPA'07), Program Committee Member(2007) |
| |
| 13. | ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS'07), Program Committee Member(2007) |
| |
[2006]
| 14. | The 4th ASIAN Symposium on Programming Languages and Systems (APLAS'06), Poster Chair(2006) |
| |
| 15. | The 4th Programming and Programming Languages Summer School 2006, Lecturer(2006) |
| |
| 16. | The 11th European Symposium on Research in Computer Security (ESORICS'06), Program Committee Member(2006) |
| |
| 17. | The 8th International Symposium on Functional and Logic Programming (FLOPS'06), Program Committee Member(2006) |
| |
| 18. | The 8th Workshop on Programming and Programming Languages (PPL'06), Program Committee Member(2006) |
| |
[2005]
| 19. | The 2005 ACM SIGPLAN Workshop on ML, Program Committee Member(2005) |
| |
| 20. | JSSST 22nd Annual Meeting, Program Committee Member(2005) |
| |
| |
