Computer Mathematics in Education  Enlightenment or Incantation?ThemeComputer Mathematics plays an important role in education  does this role tend towards enlightenment of students or towards incantation by students ? So this workshop adresses what "Intelligent" in the conference's title might mean: raising "enlightenment" (a misleading translation from German "Aufklaerung") or raising blind trust in technology and using tools for kinds of "incantation"? Looking at the state of the art in educational use of mathematics software we see: Computer Algebra Systems are used to widen application areas of mathematics by uncaging students from tricky calculations  and by the way tend to shift formal mathematics into mystical incantation. Dynamic Geometry Systems appeal to students' intuition, experts advocate "geometrical proof"  and by the way bypass the challenge of demonstrating reliability by mathematical proof. And last not least a "new generation of educational mathematics software" based on technologies from Computer Theorem Proving is announced while respective software for general mathematics education still seems unavailable. So this workshop will consider recent developments in Computer Mathematics, discuss potential impact of respective tools and reconsider developers' responsibility for such impact. Topics of interestInteresting as discussion of "Enlightenment or Incantation" in education might be, it must start from concrete technologies:
Invited speakerTBA.SubmissionsAuthors should prepare their papers in one column style of CEURWS. There are two categories of submissions:
Important dates
Programme Committee

11^{th} Conference on Intelligent Computer Mathematics
CICM 2018
August 1317, 2018
RISC, Hagenberg, Austria
You must enable JavaScript to use this site

News
 deadline extended: April 22 (abstract), April 29 (paper)
 5 workshops accepted
 3 invited speakers
 CfP and CfW available
 PC completed
 2 invited speakers added
 Initial Webpage Online