Organization Support


International Conference Steering Committee

1. Steering Committee Member, June 2007 – present: International Conference on Rewriting Techniques and Applications (RTA).
2. Publicity Chair, August 2008 – present: International Conference on Rewriting Techniques and Applications (RTA).

International Conference Organization

RDP'05 3. Conference Chair, June 2003 – May 2005: 16th International Conference on Rewriting Techniques and Applications (RTA'05), Nara (Japan), April 2005.
4. Conference Co-Organizer, June 2003 – May 2005: Federated Conference on Rewriting, Deduction and Programming (RDP'05), Nara (Japan), April 2005.

RTA'05 is collocated with 7th International Conference on Typed Lambda Calculi and Applications (TLCA'05) as part of RDP'05.

International Conference Program Committee

5. Program Committee Member, July 2010 – present: 22nd International Conference on Rewriting Techniques and Applications (RTA'11), Novi Sad (Serbia), July 2011.
6. Program Committee Member, July 2009 – July 2010: 21st International Conference on Rewriting Techniques and Applications (RTA'10), Edinburgh (Scotland), July 2010.
7. Program Committee Member, July 2008 – July 2009: 20th International Conference on Rewriting Techniques and Applications (RTA'09), Brasília (Brazil), July 2009.
8. Program Committee Member, November 2006 – June 2007: 2nd International Workshop on Security and Rewriting Techniques (SecReT'07), Paris (France), June 2007.
9.. Program Committee Member, April 2004 – April 2005: 16th International Conference on Rewriting Techniques and Applications (RTA'05), Nara (Japan), April 2005.
10. Program Committee Member, July 2003 – July 2004: 18th International Workshop on Unification (UNIF'04), Cork (Ireland), July 2004.

Domestic Conference Program Committee & Organization

11. Workshop Organizer, April 2009: Workshop on Software and Verification (WSV'09), 12th AIST/CVS Workshop, Osaka (Japan), April 2009.
12. Program Committee Member, December 2007 – March 2008: 10th JSSST Workshop on Programming and Programming Languages (PPL'08), Sendai (Japan), March 2008.
13. Program Committee Member, March 2001 – March 2002: 4th JSSST Workshop on Programming and Programming Languages (PPL'02), Beppu (Japan), March 2002.
14. Workshop Organizer, November 2000: 17th Term Rewriting Meeting, Amagasaki (Japan), November 2000.
15. Seminar Organizer, April 2000 – March 2002: Computer Language Colloquium (CLC), AIST.

Government/Industry Affiliated Committee & Organization

16. Project General Manager, September 2010 – present: Working Group of Verification Services, Embedded System Industry Promotion Organization (ESIP), Osaka (Japan).
17. Committee Member, August 2010 – present: Research Committee (PDF) commissioned by METI-KANSAI, Osaka (Japan).