*To*: isabelle-users at cl.cam.ac.uk*Subject*: [isabelle] CfP CSASC "Proving in Math.Edu"*From*: Walther Neuper <wneuper at ist.tugraz.at>*Date*: Wed, 06 Mar 2013 12:49:49 +0100*Cc*: Wolfgang Windsteiger <Wolfgang.Windsteiger at risc.jku.at>*User-agent*: Mozilla/5.0 (X11; Linux x86_64; rv:15.0) Gecko/20120912 Thunderbird/15.0.1

---------------------------------------------------------------------- 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 <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>

- Previous by Date: Re: [isabelle] Supporting native Unicode input in Isabelle/jEdit
- Next by Date: [isabelle] Combining BNF and Quotient
- Previous by Thread: Re: [isabelle] The HOL-Omega Tutorial is now available
- Next by Thread: [isabelle] Combining BNF and Quotient
- Cl-isabelle-users March 2013 archives indexes sorted by: [ thread ] [ subject ] [ author ] [ date ]
- Cl-isabelle-users list archive Table of Contents
- More information about the Cl-isabelle-users mailing list