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.