past events

• NVTI Theory Day Friday March 4, 2011, Hoog Brabant, Utrecht
• Theoretical Computer Science Amsterdam Day (TCSA day) 2010 Friday October 29, 2010, CWI, Amsterdam
• Theoretical Computer Science Amsterdam Day (TCSA Day)
• RTA 2009
• ISR 2008 3rd international school on rewriting
• WRS 2008 8th international workshop Reduction Strategies in Rewriting and Programming
• WRLA 2008 7th International Workshop on Rewriting Logic and its Applications
• RTA 2007
• HOR 2007
• ISR 2007 international school on rewriting
• ISR 2006
• HOR 2006
  3rd international workshop on higher-order rewriting
• Goedel Centenary Celebration
• infinity spring symposium March 2006
• symposium in honour of Jan Willem Klop CWI, Monday December 19, 2005.
• symposium "proofs and problems" organized by the vereniging voor logica.
• HOR 2004 at RDP 2004.
  The 2nd international workshop on higher-order rewriting
  pictures
• RTA 2004 at RDP 2004.
  The 15th international conference on rewriting techniques and aplications
• TERMGRAPH 2004
  The 2nd international workshop on term graph rewriting
• RTA 03
  The 14th international conference on rewriting techniques and aplications
• HOR 02
  The first international workshop on higher-order rewriting
• RTA 02
  The 13th international conference on rewriting techniques and aplications