VoLL-KI at CICM
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 Informatik (INF)
Professur für Wissensrepräsentation und -verarbeitung
- Telefon: +49 9131 85-64052
- E-Mail: michael.kohlhase@fau.de
Dr.-Ing. Dennis Müller
Department of Computer Science
Professur für Wissensrepräsentation und -verarbeitung
- Phone number: +49 9131 85-64053
- Email: dennis.mueller@fau.de