- Neil Immerman, Phokion G. Kolaitis, editors, Descriptive Complexity and Finite Models, Proceedings of a DIMACS Workshop, January 14-17, 1996, Princeton University. Volume 31 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, American Mathematical Society, 1996.
- Panos M. Pardalos, David Shalloway, Guoliang Xue, editors, Global Minimization of Nonconvex Energy Functions: Molecular Conformation and Protein Folding, Proceedings of a DIMACS Workshop, USA, March 20-21, 1995. Volume 23 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, DIMACS/AMS, 1996.
- Larry Finkelstein, William M. Kantor, editors, Groups and Computation II, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, June 7-10, 1995. Volume 28 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, DIMACS/AMS, 1996.
- David S. Johnson, Michael A. Trick, editors, Cliques, Coloring, and Satisfiability, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, October 11-13, 1993. Volume 26 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, DIMACS/AMS, 1996.
- Louis J. Billera, Curtis Greene, Rodica Simion, Richard P. Stanley, editors, Formal Power Series and Algebraic Combinatorics, Proceedings of a DIMACS Workshop, USA, May 23-27, 1994. Volume 24 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, DIMACS/AMS, 1996.
- Doron A. Peled, Vaughan R. Pratt, Gerard J. Holzmann, editors, Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, July 24-26, 1996. Volume 29 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, DIMACS/AMS, 1996.