ZDM published a (online first) discussion document a few days ago, called ICMI Study 19: Proof and proving in mathematics education. It is written by Gila Hanna and Michael de Villiers on behalf of the International Program Committee. The article/discussion document points at the interesting discussion about proofs and proving in mathematics education. At ICME 11, there is going to be a Topic Study Group (TSG-18) on this theme (Perhaps there is a slight mix of numbers here?).