cme-ei18: Computer Mathematics in Education – Enlightenment or Incantation (CME-EI) 11th Conference on Intelligent Computer Mathematics (CICM 2018) Hagenberg, Austria, August 14-17, 2018 |
Conference website | https://www.cicm-conference.org/2018/cicm.php?event=cme-ei&menu=general |
Submission link | https://easychair.org/conferences/?conf=cmeei18 |
Submission deadline | May 20, 2018 |
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.
Submission Guidelines
All papers must be original and not simultaneously submitted to another journal or conference. The following paper categories are welcome:
- Full papers developed work with theoretical results (upto 15 pages)
- Short papers on experience reports, tools or work in progress with preliminary results
(upto 6 pages)
List of Topics
Interesting as discussion of ”Enlightenment or Incantation” in education might be, it must
start from concrete technologies:
- Technologies for explanation, justification and reasoning.
- Tools built upon Computer Algebra, Dynamic Geometry, Computer Theorem Prov-
ing, etc. - Case studies: areas of mathematics which particularly benefit from mechanical ex-
planation, justification and reasoning. - Evidence and proof in Dynamic Geometry Systems.
- Computer Algebra and reasoning.
- Automated generation of concrete examples from abstract concepts.
- SW mechanisms which make mathematical concepts transparent to users.
- SW as models of mathematics (interactive, complete and transparent?).
And from there ask questions like:
- Where does Computer Mathematics tend towards ”enlightenment”?
- Where does Computer Mathematics tend towards ”incantation”?
- How does increasing use of software tools affect mathematics education?
- How do software tools affect young people’s interest in MINT studies?
Committees
Program Committee
- Karl-Josef Fuchs, University of Salzburg
- Zoltan Kovacs, Private University of Education Diocese Linz
- Walther Neuper, Graz University of Technology
- Barbara Sabitzer, Johannes Kepler University Linz
- Wolfgang Schreiner, Johannes Kepler University Linz
Venue
The workshop will be held at 11th Conference on Intelligent Computer Mathematics (CICM 2018) on Aug.13-17, 2018 at RISC Hagenberg, Austria.
Contact
All questions about submissions should be emailed to wneuper@ist.tugraz.at