----------------------------------------------------------------------
1st 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
<[email protected]>
Zlatan Magajna, University of Ljubljana
<[email protected]>
Walther Neuper, Graz University of Technology
<[email protected]>
Pavel Pech, University of South Bohemia
<[email protected]>
Jordi Saludes, University Polytechnica of Catalonia
<[email protected]>
Dušan Vallo, University of Nitra, Slovakia
<[email protected]>
Wolfgang Windsteiger, University of Linz
<[email protected]>
------------------------------------------------------------------------------
Symantec Endpoint Protection 12 positioned as A LEADER in The Forrester
Wave(TM): Endpoint Security, Q1 2013 and "remains a good choice" in the
endpoint security space. For insight on selecting the right partner to
tackle endpoint security challenges, access the full report.
http://p.sf.net/sfu/symantec-dev2dev
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
