AMS Special Session on Computational Group Theory (2007 Davidson College)