Five ALeA contributions at the CICM

Five papers from around ALeA were presented at the CICM-Conference in Cambridge. Four of them in workshops and once in the main track. There is a contribution to the latter in the proceedings:

Berges, M., Betzendahl, J., Chugh, A., Kohlhase, M., Lohr, D., Müller, D. (2023). Learning Support Systems Based on Mathematical Knowledge Management. In: Dubois, C., Kerber, M. (eds) Intelligent Computer Mathematics. CICM 2023. Lecture Notes in Computer Science(), vol 14101. Springer, Cham. https://doi.org/10.1007/978-3-031-42753-4_6

Other contributions for which the proceedings have not (yet) been published:

• Marcel Schütz: Theory Morphisms in Computer Supported Education
• Abhishek Chugh, Michael Kohlhase and Dennis Müller: Presentation of Active Documents in ALeA
• Abhishek Chugh: ALeA (Demonstration)
• Andrea Kohlhase and Michael Kohlhase: More Interactions in ALeA – Towards New Added-Value Services based on Semantic Markup