[isabelle] CfP CSASC "Proving in Math.Edu"

                       1st CALL FOR ABSTRACTS
                   Proving in Mathematics Education
                     at University and at School
                     Minisymposion at CSASC 2013
                            9-13 June 2013
                           Koper,  Slovenia

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
      	                   <hasek at pf.jcu.cz>
Zlatan Magajna, University of Ljubljana
                           <Zlatan.Magajna at pef.uni-lj.si>
Walther Neuper, Graz University of Technology
                           <wneuper at ist.tugraz.at>
Pavel Pech, University of South Bohemia
                           <pech at pf.jcu.cz>
Jordi Saludes, University Polytechnica of Catalonia
                           <jordi.saludes at upc.edu>
Dušan Vallo, University of Nitra, Slovakia
      	     		    <dvallo at ukf.sk>
Wolfgang Windsteiger, University of Linz
                           <Wolfgang.Windsteiger at risc.jku.at>

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.