- Didier Galmiche, editor, Workshop on Proof Search in Type-Theoretic Languages (in conjunction with CADE-15 Conference), Lindau, Germany, July 5, 1998. Volume 17 of Electronic Notes in Theoretical Computer Science, Elsevier, 1998.
- Claude Kirchner, Hélène Kirchner, editors, Automated Deduction - CADE-15, 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings. Volume 1421 of Lecture Notes in Computer Science, Springer, 1998.