Paulo S. R. Diniz
AMS-ASL Joint Special Session on Interactions between Logic, Group Theory, and Computer Science (2003 Baltimore, Md.)
Wolfgang F. E. Preiser
Constantin-François Volney
