Email Gateway (Aug 19 2022 at 10:59): Email Gateway (Aug 19 2022 at 10:59):From: Walther Neuper <wneuper@ist.tugraz.at>
deadline 1st May, 2013
LAST CALL FOR ABSTRACTS
Proving in Mathematics Education
at University and at School
====================================
Minisymposion at CSASC 2013
9-13 June 2013
Koper, Slovenia
http://conferences2.imfm.si/conferenceDisplay.py?ovw=True&confId=14
Computer Theorem Proving (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 containing
mathematical proof.
The Minisymposion presents experiences from courses supported by 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 math in Science, Technology and
Engineering 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 (up to 500
words \approx 1 page) 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 for 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:
1st May, 2013: deadline for abstract submission
(via CSASC registration system)
9th - 13th June, 2013: conference in Koper
Program Committee
Roman Hašek, University of South Bohemia
Zlatan Magajna, University of Ljubljana
Walther Neuper, Graz University of Technology
Pavel Pech, University of South Bohemia
Jordi Saludes, University Polytechnica of Catalonia
Dušan Vallo, University of Nitra, Slovakia
Wolfgang Windsteiger, University of Linz
Last updated: Apr 16 2024 at 08:18 UTC