Author: AMS-ASL Joint Special Session on Interactions between Logic, Group Theory, and Computer Science (2003 Baltimore, Md.)