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
