Five ALeA contributions at the CICM

Campus des Emmanuel College Cambridge
Foto: Marcel Schütz

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

Prof. Dr. Michael Kohlhase

Department Informatik (INF)
Professur für Wissensrepräsentation und -verarbeitung

Campus des Emmanuel College Cambridge
Foto: Marcel Schütz