Wednesday 12th April
| 09:00-09:10 | Welcome |
| 09:10-10:00 | Main Talk:
Visual Mathematics via Computer-based
Guided Active Discovery Jerry Uhl and Debra Woods (University of Illinois at Urbana-Champaign, USA) |
| 10:00-10:40 | How to Use Technology to Support
Mathematics Learning? Jian-Xiang Lin (Peking University, China) |
| 10:40-11:10 | Tea Break |
| 11:10-11:50 | The Impact of Technology in Topics
Foundational to Calculus at the Secondary Level Antonio R. Quesada (University of Akron, USA) |
| 11:50-12:30 | Dynamic Geometry from 2D to 3D:
Specific Issues Jean-Marie Laborde (Cabrilog - Université Joseph Fourier Grenoble, France) |
| 12:30-14:00 | Lunch |
| 14:00-14:40 |
A Free Version of SSP Jingzhong Zhang (Guangzhou University, China) |
| 14:40-15:20 | Applying Z+Z Super Sketchpad in the
National Math Curriculum Reform Pengyuan Wang (Affiliated High School of Peking University, China) |
| 15:20-15:45 | Symbolic Computation Platform on
the Web Hongguang Fu and An Qin (Chinese Academy of Sciences, China) |
| 15:45-16:15 | Tea Break |
| 16:15-16:40 | The Initial Design of Mathematics
Assessment Grid Wei Su, Guanyu Li, Yanjuan Zhao, and Lian Li (Lanzhou University, China) |
| 16:40-17:05 | Modeling and Analysis for the Educational
Software Quality Hierarchy Triangle Haiguang Fang (Chinese Academy of Sciences, China) |
| 17:05-17:30 | Integrating Rule-Based and Input-Based
Approaches for Better Error Diagnosis in Expression Manipulation
Tasks Rein Prank (University of Tartu, Estonia) |
| 18:00- | Reception Dinner |
Thursday 13th April
| 09:00-09:50 | Main Talk:
Proving Inequalities with Little Mathematics Lu Yang (Guangzhou University, China) | ||||||
| 09:50-10:30 | Bringing More Intelligence to Dynamic Geometry
by Using Symbolic Computation Francisco Botana (University of Vigo at Pontevedra, Spain) | ||||||
| 10:30-11:00 | Tea Break | ||||||
| 11:00-11:40 | Combining CAS and DGS - Towards Algorithmic
Thinking Ulrich Kortenkamp (University of Education Schwäbisch Gmünd, Germany) | ||||||
| 11:40-12:20 | GEOTHER, GOOL, and Beyond Dongming Wang (Beihang University, China and UMPC-CNRS, France) | ||||||
| 12:30-14:00 | Lunch | ||||||
| 14:00-14:50 | Main Talk:
Computer Algebra Systems
for Teaching Students and Learning Mathematics Bernhard Kutzler (Austrian Center for Didactics of Computer Algebra, Austria) | ||||||
| 14:50-15:30 | Hand-held Technology in Secondary
Mathematics Education Barry Kissane (Murdoch University, Australia) | ||||||
| 15:30-16:00 | Tea Break | ||||||
| 16:00-16:40 | MathXpert, Software for Learning Algebra and
Calculus Michael Beeson (San Jose State University, USA) 16:40-17:05 |
Exploiting E-learning to Develop
IT (Technical) Skills and Its Challenges | Uthaya Prakash Santhanam (Beijing Inti Management College, China) 17:05-17:30 |
Analysis of CAI for Geography | Peng Chen, Haiguang Fang, and Shizhong Zhao (Chinese Academy of Sciences, China) 18:30- |
Seminar Dinner | |
Friday 14th April
| 09:00-09:40 | Conjecturing Trigonometric Formulas
via a Computer Algebra System Tilak de Alwis (Southeastern Louisiana University, USA) |
| 09:40-10:05 | A New Toolkit for Simplifying Trigonometric
Expressions Xiuqin Zhong (Chinese Academy of Sciences, China) |
| 10:05-10:30 | A New Approach of On-line Learning:
Research and Reflection to On-line Game Based Learning of Space
Geometry in Primary School Lu Wang and Hui Yang (Capital Normal University, China) |
| 10:30-11:00 | Tea Break |
| 11:00-11:25 | The Electronic Geometry Textbook Project Xiaoyu Chen (Beihang University, China) |
| 11:25-11:50 | Solving the Heat and Wave Equations
with the (Fast) Discrete Fourier Transform Alkiviadis G. Akritas, Jerry Uhl, and Panagiotis S. Vigklas (University of Thessaly, Greece and University of Illinois at Urbana-Champaign, USA) |
| 11:50-12:15 | Automated Generation of Readable Proofs
for a Class of Limits of Sequences and Functions Jing Ruan and Zhengyi Lu (Wenzhou University, China) |
| 12:30-14:00 | Lunch |
| 14:00-14:50 | Main Talk:
Doing Mathematics with Mathematica Falai Chen (University of Science and Technology of China, China) |
| 14:50-15:30 | Mathematics Experiments - Learning and
Discovering Mathematics with the Help of Computers Shangzhi Li (Beihang University, China) |
| 15:30-16:00 | Tea Break |
| 16:00-16:40 | Computer Algebra Meets an Ancient Egyptian
Problem Yiu-Kwong Man (Hong Kong Institute of Education, China) |
| 16:40-17:20 |
CAS in an Applied College Algebra Course Robert Mayes (West Virginia University, USA) |
| 17:20-17:30 | Closing |