OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]: Foreword by Alan Bundy

Mathematical Knowledge Management: 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers

Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium

Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings

KI 2006: 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006, Proceedings

Artificial Intelligence. ECAI 2023 International Workshops: XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 – October 4, 2023, Proceedings, Part I