DIMACS Workshop: Descriptive Complexity and Finite Models 1996