Conferences hosted

  CAI 2005  
  CAI 2007  
  CAI 2009  
  QUANTLOG 2009  
  Workshop on Algebraic Foundations in Computer Science 2011