Computer Mathematics in Education --- Enlightenment or Incantation?
Theme
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
| 9:00 |
Christopher Sangwin |
High stakes automatic assessments: developing an online linear algebra examination |
| 9:30 |
Zoltan Kovacs |
Advantages and dangers on utilizing GeoGebra Automated Reasoning Tools |
| 10:00 |
--- |
Coffee break |
| 10:30 |
Wolfgang Schreiner |
Logic as a Path to Enlightenment (Work in Progress Report) |
| 11:00 |
Walther Neuper |
Mechanical Explanation in "Systems that Explain Themselves" |
| 11:30 |
Franz Lichtenberger |
Intelligent Computer Mathematics OR Mathematics for Intelligent Computing? |
| 14:00 |
--- |
Panel Discussion: Computer Mathematics in Education --- Enlightenment or Incantation? |
|
|
Conference participants still present are warmly invited to take part in the discussion! |
Original Call for Submissions
Topics of interest
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 Proving, etc,
- case studies: areas of mathematics which particularly benefit from
mechanical explanation, 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?
Submissions
Authors should prepare their papers in one column style of
CEUR-WS.
There are two categories of submissions:
- Regular papers describing developed work with theoretical results
(upto 15 pages)
- Short papers on experience reports, tools or work in progress with preliminary
results or just preparations for discussion (upto 6 pages)
Submission is via
EasyChair.
Important dates
| Deadline for submissions: |
20. May 2018 |
| Notification of acceptance: |
17. June 2018 |
| Workshop day: |
17. Aug 2018 |
Programme 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
|