In this issue more material about Artificial Intelligence and Education The proceedings of the TSG12 at ICME9 (Proving) And the forth and last contribution of Michael Otte on the them of Proof and Visualisation http://www-cabri.imag.fr/Preuve Have a good reading ! Contributions and comments are welcome Nicolas