- Anuj Dawar, editor, Proceedings of the Fifth International Workshop on Implicit Computational Complexity, ICC@LICS 2003, Ottawa, Canada, June 26-27, 2003. Volume 90 of Electronic Notes in Theoretical Computer Science, Elsevier, 2003.
- 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 22-25 June 2003, Ottawa, Canada, Proceedings. IEEE Computer Society, 2003.