About Us

Ian Gent
School of Computer Science
University of St Andrews
Scotland, UK

Lars Kotthoff
Faculty of Science, Department of Computer Science, BETA Laboratory
Vancouver Campus
ICICS/CS Building X560 - 2633 Main Mall
Vancouver, BC Canada V6T 1Z4

John McDermott
Centre for Interdisciplinary Research in Computational Algebra
Schools of Mathematics and Computer Science
St Andrews
Scotland, UK