Email Gateway (Aug 22 2022 at 09:42): Email Gateway (Aug 22 2022 at 09:42):From: Walther Neuper <wneuper@ist.tugraz.at>
NOTE: early bird submission deadline May 7
2nd CALL FOR ABSTRACTS
Proving in Mathematics Education
at University and at School
====================================
Minisymposion at
Austrian-Hungarian Mathematical Conference
Győr, Hungaria, 25-27 August 2015
http://bolyai.hu/aushun15/
The minisymposion intends to discuss usability of technology applications
in education in relation to proving and primarily focuses on a specific
technology, Computer Theorem Proving (TP), for education in academia and
beyond. The proposal is backed by increasing interest in technology
integration in education to support proofs as well as the applications of
TP. The completion of the TP-based proof of the Kepler Conjecture was
announced on August 10th, 2014.
TP is reliably grounded on formal calculus — whereas proof is not taught
as a formal calculus in general academic education. Rather, students adopt
the habits of their academic environment and copy the way of proving from
their academic teachers. Evidently this results in a lack of confidence
for most students and in a lack of control of what they are doing. High-
school seems affected by these academic traditions such, that proof is
considered too comprehensive for most students in spite of curricula
explicitly mentioning mathematical proof.
The Minisymposion presents experiences from courses supported by technology
applications in relation to proving and TP technology at academia and at
high-school throughout Europe. A major point of discussion will be the
issue to narrow the gap between high-school math and academic mathematics
in Science, Technology and Engineering (STEM) education. In particular,
the (planned/envisioned) use of existing TP software systems in an
educational setting or concrete plans for (future/desired) educational
TP software systems should be demonstrated with the aim to get a common
view on the requirements for such systems that would make them widely
accepted teaching tools.
This minisymposion is motivated by the hope that bottom-up approaches in
local cooperation might be more successful than pretentious top-down
approaches to the sensible, but important topic. For preparing discussions
we invite submission of abstracts (at most 3 pages) on topics including,
but not limited to:
Demonstration of tools supporting proofs and using TP technology,
i.e. tools which generate assumptions, which interactively or
automatically perform proofs, which systematically generate proof
obligations, which use TP for checking user input, etc.
(... called "TP-based" software in the sequel)
Experiences from academic courses of various kinds using TP-based
software --- probably including feature requests for future
development of such software
Applications of mathematics and mathematical activities which might
specifically take advantage from support by TP-based software
Mathematical concepts and (TP-based) technology specifically
relevant for software support in teaching and learning to prove
Experiences from initiatives and activities filling the gap between
school and university --- and their relation to TP-based technology.
Important Dates:
7. Mai 2015: early bird registration and abstract submission
30. Juni 2015: late registration and abstract submission
25. -27. August 2015: conference in Győr
For abstract submission (at most 3 pages) see the website
http://bolyai.hu/aushun15/registration.html
Since on the mini-symposia there will be only invited talks, contributors
of abstracts will get an invitation in July.
Hungarian-Austrian Program Committee
Kristóf Fenyvesi, Univ. Jyväskylä, Finland, <fenyvesi.kristof@gmail.com>
Stefan Götz, University of Vienna <stefan.goetz@univie.ac.at>
Balázs Koren, Eötvös Loránd University Budapest <kobak@elte.hu>
Zoltán Kovács, University of Linz <zoltan@geogebra.org>
Zsolt Lavicza, University of Cambridge <zl221@cam.ac.uk>
Walther Neuper, Graz University of Technology <wneuper@ist.tugraz.at>
Róbert Vajda, University of Szeged <vajdar@math.u-szeged.hu>
Wolfgang Windsteiger, University of Linz <Wolfgang.Windsteiger@risc.jku.at>
Last updated: Apr 20 2024 at 04:19 UTC