The SIAM Journal on Computing contains research articles dealing with the mathematical and formal aspects of computer science and nonnumerical computing. Many of the foundations of computer science are mathematical and derive from a wide spectrum of mathematical disciplines. The purpose of this journal is to provide a medium for the cross-fertilization of mathematics and computer science that should benefit both the computing and mathematical communities and illuminate new areas for mathematical application. Topics in this journal include: Design and analysis of algorithms, computational complexity, and the theory of computer programming; Computational aspects of combinatorics and graph theory, including enumeration, optimization, searching, and graph manipulation; Formal aspects of compilers, programming languages, semantics, artificial intelligence, computational learning, databases, information retrieval, data structures, networks, cryptography and security, distributed computing, parallel algorithms, operating systems, and computer architecture.