Computer Mathematics in Education --- Enlightenment or Incantation?
Computer 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.
Programme, Friday Aug.17
Original Call for Submissions
Topics of interest
Interesting as discussion of "Enlightenment or Incantation" in education might be,
it must start from concrete technologies:
Authors should prepare their papers in one column style of CEUR-WS. There are two categories of submissions:
11th Conference on Intelligent Computer Mathematics
August 13-17, 2018
RISC, Hagenberg, Austria
- CICM is over
- award winners online
- detailed program online
- accepted papers online
- registration open
- program overview online
- deadline extended: April 22 (abstract), April 29 (paper)
- 6 workshops accepted
- 3 invited speakers
- CfP and CfW available
- PC completed
- initial website online