Workshop Schedule

Sunday, 2011-07-31

09:00-09:30 Opening

09:30-10:00 - Multilinguality in MMAs

Session Chair: Walther Neuper
  • Jordi Saludes and Sebastian Xambó. The GF Mathematics Library

10:00-10:30 Coffee Break

10:30-12:30 - ITPs &  Formalizations

Session Chair: Laurent Théry
  • Makarius Wenzel and Burkhart Wolff. Isabelle/PIDE as Platform for Educational Tools
  • Guillaume Allais. Coq with power series
  • Cezary Kaliszyk. Formalized Computational Origami in Education
  • Filip Marić, Predrag Janičić, Ivan Petrović and Danijela Petrović. Formalization and Implementation of Algebraic Methods in Geometry

12:30-14:00 Lunch

14:00-15:30 - Combination of Tools

Session Chair: Wolfgang Schreiner
  • Francisco Botana and Miguel A. Abánades. Automatic Deduction in Dynamic Geometry using Sage
  • Vladimir Komendantsky. Packed views of pre-structured data
  • Vanda Santos and Pedro Quaresma. WebGeometryLab

15:30-16:00 Coffee Break

16:00-18:00 - Semantics of Programs & Methodological Questions

Session Chair: Pedro Quaresma
  • Wolfgang Schreiner. Computer-Assisted Program Reasoning Based on a Relational Semantics of Programs
  • Ralph-Johan Back and Johannes Eriksson. Correct-by-construction programming in the Socos environment
  • Walther Neuper. User Guidance Generated from ``Computation plus Deduction'' -- the Learner's Perspective
  • Serge Autexier, Dominik Dietrich and Marvin Schiller.Cognitive Tutoring in Mathematics based on Assertion Level Reasoning and Proof Strategies

Monday, 2011-08-01

18:30 Business Meeting