Groups, languages, algorithms : AMS-ASL joint special session on interactions between logic, group theory, and computer science : January 16-19, 2003 : Baltimore, Maryland. : American Mathematical Society/Association for Symbolic Logic joint special session, interactions between logic, group theory, and computer science : Jan 2003, Baltimore, MD / Alexandre Borovik, GroupTheory AMS-ASLJointSpecialSessiononInteractionsbetweenLogic