The SIAM Journal on Computing is a research journal focussing on the mathematical and formal aspects of computer science. It is published by the Society for Industrial and Applied Mathematics (SIAM).
