VoLL-KI at CICM

Symbolic picture for the article. The link opens the image in a large view.
CC BY-SA 2.0 Steve Cadman(c) Steve Cadman, steve@stevecadman.me.uk, Creative Commons Attribution-Sharealike v2.0

At the Conference on Intelligent Computer Mathematics (CICM) 2023, Michael Kohlhase will give a talk entitled Learning Support Systems based on Mathematical Knowledge Management. The learning platform ALeA developed in VoLL-KI@FAU will be presented as an example of a learning support system. The complete conference program can be seen here. Participation is possible online or on-site in Cambridge, UK.

Prof. Dr. Michael Kohlhase

Department of Computer Science
Professur für Wissensrepräsentation und -verarbeitung

Dr.-Ing. Dennis Müller

Department of Computer Science
Professur für Wissensrepräsentation und -verarbeitung